Theorem HomotopyCategory.mem_subcategoryAcyclic_iff

Modification history