Mathlib Changelog
v4
Changelog
About
Github
Def
Lean.Name.findHome
Modification history
2024-01-10 11:53
Mathlib/Util/Imports.lean
refactor: split `ImportGraph` into its own package. (#9169) …
Deleted
Lean.Name.findHome
View on Github →
2023-09-12 22:27
Mathlib/Util/Imports.lean
feat(Util/Imports): add `#find_home!` to exclude current module (#7075) …
Modified
Lean.Name.findHome
View on Github →
2023-07-17 07:05
Mathlib/Util/Imports.lean
feat: #find_home (#5731)
Added
Lean.Name.findHome
View on Github →