Theorem HomotopyCategory.quasiIso_eq_quasiIso_map_quotient

Modification history