Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-12-25 05:51 f9561d40

View on Github →

feat(ring_theory/localization): The localization at a fg submonoid is of finite type. (#10990)

Estimated changes