Mathlib Changelog
v4
Changelog
About
Github
Def
def_with_multiple_dependencies
Modification history
2025-02-04 06:23
MathlibTest/MinImports.lean
feat(Tactic/Linter): options to in/exclude definitions and private decls (#21374) …
Deleted
def_with_multiple_dependencies
View on Github →
2024-11-18 11:19
MathlibTest/MinImports.lean
feat: the upstreamDecl linter (#18702) …
Added
def_with_multiple_dependencies
View on Github →