Rings of Fractions and Localization

Yasushige Watase. Rings of Fractions and Localization. Formalized Mathematics, 28(1):79-87, 2020. [doi]

Abstract

Abstract is missing.