Theorem HomotopyCategory.quotient_map_mem_quasiIso_iff

Modification history