Theorem HomotopyCategory.quotient_obj_mem_subcategoryAcyclic_iff_exactAt

Modification history