∀ {tactic tactic_1 : Lean.Syntax},
  Lean.Elab.Command.Structure.StructFieldViewDefault.autoParam tactic =
      Lean.Elab.Command.Structure.StructFieldViewDefault.autoParam tactic_1 →
    tactic = tactic_1