Def CategoryTheory.LocalizerMorphism.op

Modification history