Theorem HomologicalComplex.homotopyCofiber.desc_f'

Modification history