Theorem HomologicalComplex.homotopyCofiber.descSigma_ext_iff

Modification history

2024-08-05 03:02
Mathlib/Algebra/Homology/HomotopyCofiber.lean
chore: backports for leanprover/lean4#4814 (part 16) (#15427) …
Modified HomologicalComplex.homotopyCofiber.descSigma_ext_iffView on Github →
2024-01-05 14:50
Mathlib/Algebra/Homology/HomotopyCofiber.lean
feat(Algebra/Homology): morphisms from the homotopy cofiber (#9447) …
Added HomologicalComplex.homotopyCofiber.descSigma_ext_iffView on Github →