Mathlib Changelog
v4
Changelog
About
Github
Theorem
propose_to_move_this_theorem
Modification history
2024-11-18 11:19
MathlibTest/MinImports.lean
feat: the upstreamDecl linter (#18702) …
Added
propose_to_move_this_theorem
View on Github →