Theorem HomotopyCategory.quotient_inverts_homotopyEquivalences

Modification history