Theorem HomologicalComplex.homotopyCofiber.inlX_desc_f

Modification history