Documentation

Lean.Meta.Tactic.Generalize

structure Lean.Meta.GeneralizeArg :
Type
Equations
Equations