Theorem CategoryTheory.LocalizerMorphism.isEquivalence_imp

Modification history