Def printNameHashMap

Modification history

2024-08-05 08:52

Mathlib/Util/LongNames.lean

chore: move toolchain to v4.11.0-rc1 (#15513)

Modified printNameHashMap View on Github →

2024-05-07 06:40

Mathlib/Util/LongNames.lean

chore: update Std -> Batteries (#12720)

Modified printNameHashMap View on Github →

2023-04-12 19:26

Mathlib/Util/LongNames.lean

feat: command to list declarations with long names (#3122) …

Added printNameHashMap View on Github →