2024-09-27 15:51
Mathlib/Algebra/Homology/BifunctorAssociator.lean
feat(Algebra/Homology): study of the source of the associator isomorphism for the action of bifunctors on homological complexes (#16298) …
Added HomologicalComplex.mapBifunctor₁₂.ι_D₁