Commit 2024-01-10 17:15 0c62352f
View on Github →feat: Injectivity of monoid localization (#9531) Adds two results on the Localization for CommMonoids: one, describes exactly when the localization map is injective, the other essentially says that the localization of a cancellative Monoid is cancellative if the localization is injective.