Def CategoryTheory.Localization.equivalenceFromModel

Modification history