Def HomotopyCategory.subcategoryAcyclic

Modification history