Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-05-17 04:33 39af0f66

View on Github →

chore(algebra/ring): drop an unneeded instance (#2705) We're incompatible with Lean 3.4.2 for a long time.

Estimated changes