Mathlib Changelog
v4
Changelog
About
Github
Theorem
CategoryTheory.GradedObject.HasGoodTrifunctor₂₃Obj.hasMap
Modification history
2024-02-20 11:30
Mathlib/CategoryTheory/GradedObject/Trifunctor.lean
feat(CategoryTheory/GradedObject): more about the action of a composition of bifunctors (#10667) …
Added
CategoryTheory.GradedObject.HasGoodTrifunctor₂₃Obj.hasMap
View on Github →