Theorem CategoryTheory.LocalizerMorphism.hasRightResolutions_iff_op

Modification history