Structure CategoryTheory.LocalizerMorphism

Modification history