Def Lean.LocalContext.firstDeclM

Modification history

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