Theorem CategoryTheory.LocalizerMorphism.nonempty_isEquivalence_iff

Modification history