Documentation

Lean.Elab.Tactic.Repeat

source
def Lean.Elab.Tactic.evalRepeat' :
Tactic
Equations
    Instances For
      source
      def Lean.Elab.Tactic.evalRepeat1' :
      Tactic
      Equations
        Instances For