Mathlib Changelog
v4
Changelog
About
Github
Def
Big
Modification history
2025-12-01 19:09
MathlibTest/CategoryTheory/CategoryStar.lean
feat(Mathlib/Tactic/CategoryStar): Category* (#30797) …
Added
Big
View on Github →