Def Lean.LocalContext.lastDeclM

Modification history

2021-09-29 17:02
Mathlib/Lean/LocalContext.lean
feat(Tactic/SolveByElim): minimal implementation (#43) …
Added Lean.LocalContext.lastDeclMView on Github →