Documentation

Lean.Elab.BuiltinCommand

Equations
Equations
Equations
Equations
Equations
Equations
Equations
Equations
Equations
Equations
Equations
Equations
Equations
@[implementedBy Lean.Elab.Command.elabEvalUnsafe]
Equations
Equations