Structure CategoryTheory.LocalizerMorphism.RightResolution

Modification history