Def Lean.Meta.getLocalHyps

Modification history

2023-12-17 17:55
Mathlib/Lean/Meta.lean
chore: bump Std dependency to leanprover/std4#432 (#9094) …
Deleted Lean.Meta.getLocalHypsView on Github →
2023-05-02 22:58
Mathlib/Lean/Meta.lean
feat: better display of partial results from library_search (#3743) …
Modified Lean.Meta.getLocalHypsView on Github →
2023-01-09 15:05
Mathlib/Lean/Meta.lean
feat: refactor of solve_by_elim (#856) …
Modified Lean.Meta.getLocalHypsView on Github →
2022-11-01 20:56
Mathlib/Tactic/SolveByElim.lean
feat: upgrade solve_by_elim (#474) …
Added Lean.Meta.getLocalHypsView on Github →