Theorem CategoryTheory.GradedObject.mapBifunctor₁₂BifunctorMapObj_ext

Modification history

2024-08-12 13:06
Mathlib/CategoryTheory/GradedObject/Trifunctor.lean
feat(Algebra/Homology): develop the API for the action of bifunctors on homological complexes (#15712)
Modified CategoryTheory.GradedObject.mapBifunctor₁₂BifunctorMapObj_extView on Github →
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.mapBifunctor₁₂BifunctorMapObj_extView on Github →