Theorem HomologicalComplex.homotopyCofiber.inrCompHomotopy_hom_eq_zero

Modification history

2024-01-05 14:50
Mathlib/Algebra/Homology/HomotopyCofiber.lean
feat(Algebra/Homology): morphisms from the homotopy cofiber (#9447) …
Added HomologicalComplex.homotopyCofiber.inrCompHomotopy_hom_eq_zeroView on Github →