Theorem HomologicalComplex.homotopyCofiber.inlX_fstX

Modification history

2025-07-04 07:44
Mathlib/Algebra/Homology/HomotopyCofiber.lean
chore: further whitespace fixes (#26708) …
Modified HomologicalComplex.homotopyCofiber.inlX_fstXView on Github →
2023-12-27 09:01
Mathlib/Algebra/Homology/HomotopyCofiber.lean
feat(Algebra/Homology): construction of the homotopy cofiber (#8969)
Added HomologicalComplex.homotopyCofiber.inlX_fstXView on Github →