Documentation

Lean.Elab.Tactic.SimpArith

source
def Lean.Elab.Tactic.evalSimpArith :
Tactic
Equations
    Instances For
      source
      def Lean.Elab.Tactic.evalSimpArithBang :
      Tactic
      Equations
        Instances For
          source
          def Lean.Elab.Tactic.evalSimpAllArith :
          Tactic
          Equations
            Instances For
              source
              def Lean.Elab.Tactic.evalSimpAllArithBang :
              Tactic
              Equations
                Instances For