Theorem HomologicalComplex.homotopyCofiber.inlX_d'

Modification history

2024-07-09 09:09

Mathlib/Algebra/Homology/HomotopyCofiber.lean

chore: add missing spaces around = or := (#14554) …

Modified HomologicalComplex.homotopyCofiber.inlX_d'View 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_d'View on Github →