Documentation

Lean.Elab.Tactic.Symm

source
def Lean.Elab.Tactic.evalSymm :
Tactic
Equations
    Instances For
      source
      def Lean.Elab.Tactic.evalSymmSaturate :
      Tactic
      Equations
        Instances For