Theorem CategoryTheory.LocalizerMorphism.LeftResolution.mk_surjective

Modification history