Theorem CategoryTheory.LocalizerMorphism.essSurj_of_hasRightResolutions

Modification history