Theorem CategoryTheory.Localization.inverts

Modification history