Def allNames

Modification history

2023-04-12 19:26
Mathlib/Lean/Name.lean
feat: command to list declarations with long names (#3122) …
Added allNamesView on Github →