Def HomotopyCategory.quasiIso

Modification history