Theorem HomologicalComplex.mapBifunctorMapHomotopy.ιMapBifunctor_hom₂

Modification history

2025-12-05 20:27
Mathlib/Algebra/Homology/BifunctorHomotopy.lean
feat(Algebra/Homology): extensions of bifunctors to complexes preserve homotopies (#32383) …
Added HomologicalComplex.mapBifunctorMapHomotopy.ιMapBifunctor_hom₂View on Github →