Theorem CategoryTheory.LocalizerMorphism.isEquivalence

Modification history