Theorem CategoryTheory.LocalizerMorphism.nonempty_leftResolution_iff_op

Modification history