Theorem HomologicalComplex.homotopyCofiber.eq_desc

Modification history