Mathlib Changelog
v4
Changelog
About
Github
Def
Lean.Environment.getModuleFor?
Modification history
2024-01-10 11:53
Mathlib/Lean/Expr/Basic.lean
refactor: split `ImportGraph` into its own package. (#9169) …
Deleted
Lean.Environment.getModuleFor?
View on Github →
2023-06-28 11:45
Mathlib/Lean/Expr/Basic.lean
feat: #redundant_imports / #minimize_imports commands (#5441) …
Added
Lean.Environment.getModuleFor?
View on Github →