Def DerivedCategory.quotientCompQhIso

Modification history