Structure CategoryTheory.LocalizerMorphism.LeftResolution

Modification history