Theorem CategoryTheory.LocalizerMorphism.essSurj_of_hasLeftResolutions

Modification history