Def allNamesByModule

Modification history

2024-08-05 08:52
Mathlib/Lean/Name.lean
chore: move toolchain to v4.11.0-rc1 (#15513)
Modified allNamesByModuleView on Github →
2024-05-07 06:40
Mathlib/Lean/Name.lean
chore: update Std -> Batteries (#12720)
Modified allNamesByModuleView on Github →
2023-04-12 19:26
Mathlib/Lean/Name.lean
feat: command to list declarations with long names (#3122) …
Added allNamesByModuleView on Github →