Theorem HomologicalComplex.homotopyCofiber.ext_from_X

Modification history

2023-12-27 09:01
Mathlib/Algebra/Homology/HomotopyCofiber.lean
feat(Algebra/Homology): construction of the homotopy cofiber (#8969)
Added HomologicalComplex.homotopyCofiber.ext_from_XView on Github →