Def CategoryTheory.LocalizerMorphism.LeftResolution.opFunctor

Modification history