Def CategoryTheory.LocalizerMorphism.LeftResolution.opEquivalence

Modification history