Theorem CategoryTheory.LocalizerMorphism.RightResolution.mk_surjective

Modification history