Theorem CategoryTheory.LocalizerMorphism.nonempty_rightResolution_iff_op

Modification history