Theorem HomologicalComplex.homotopyCofiber.inrX_desc_f

Modification history