Theorem CategoryTheory.Localization.isEquivalence

Modification history