Def getAllModulesSorted

Modification history

2024-06-17 20:45
Mathlib/Util/GetAllModules.lean
fix(GetAllModules): sort module names instead of file names (#13854) …
Added getAllModulesSortedView on Github →