Structure CategoryTheory.GradedObject.BifunctorComp₁₂IndexData

Modification history

2024-10-09 08:43
Mathlib/CategoryTheory/GradedObject/Trifunctor.lean
chore: adaptations for lean4#5542 (#17564) …
Modified CategoryTheory.GradedObject.BifunctorComp₁₂IndexDataView on Github →
2023-12-27 08:00
Mathlib/CategoryTheory/GradedObject/Trifunctor.lean
feat(CategoryTheory/GradedObject): action of a composition of bifunctors (#8242) …
Added CategoryTheory.GradedObject.BifunctorComp₁₂IndexDataView on Github →