Def CategoryTheory.Localization.qCompEquivalenceFromModelFunctorIso

Modification history