Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-03-09 00:56 ca370cb9

View on Github →

fix(deprecated/group): remove dangerous instances (#2096)

Estimated changes