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.
chore(algebra/ring): drop an unneeded instance (#2705) We're incompatible with Lean 3.4.2 for a long time.