Theorem CategoryTheory.GradedObject.HasGoodTrifunctor₁₂Obj.hasMap

Modification history

2023-12-27 08:00
Mathlib/CategoryTheory/GradedObject/Trifunctor.lean
feat(CategoryTheory/GradedObject): action of a composition of bifunctors (#8242) …
Added CategoryTheory.GradedObject.HasGoodTrifunctor₁₂Obj.hasMapView on Github →