Theorem CategoryTheory.LocalizerMorphism.isEquivalence_iff

Modification history