Documentation
Lean.Elab.Tactic.Generalize
Google site search
Lean.Elab.Tactic.Generalize
source
Imports
Init
Lean.Meta.Check
Lean.Elab.Tactic.ElabTerm
Lean.Elab.Tactic.Location
Lean.Meta.Tactic.Generalize
Lean.Meta.Tactic.Intro
Imported by
Lean.Elab.Tactic.evalGeneralize
source
def
Lean.Elab.Tactic.evalGeneralize
:
Lean.Elab.Tactic.Tactic
Equations
One or more equations did not get rendered due to their size.