Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-01-13 04:32 341fd517

View on Github →

fix(tactic/ring): bugfix

Estimated changes