Theorem CategoryTheory.LocalizerMorphism.hasLeftResolutions_iff_op

Modification history