Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-09-02 13:19 895f6ee7

View on Github →

chore(algebra/category/CommRing/limits): don't use deprecated.subring (#4010)

Estimated changes