Def CategoryTheory.LocalizerMorphism.RightResolution.unopFunctor

Modification history