Def Lean.Meta.countLocalHypsUsed

Modification history

2024-06-12 05:55
Mathlib/Lean/Meta.lean
chore: remove unused countLocalHypsUsed (#13751) …
Deleted Lean.Meta.countLocalHypsUsedView on Github →
2023-05-02 22:58
Mathlib/Lean/Meta.lean
feat: better display of partial results from library_search (#3743) …
Added Lean.Meta.countLocalHypsUsedView on Github →