Theorem CategoryTheory.LocalizerMorphism.IsLocalizedEquivalence.of_equivalence

Modification history