Theorem HomotopyCategory.quasiIso_eq_subcategoryAcyclic_W

Modification history