Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-10-26 23:04 6e2980ce

View on Github →

chore(*): reflow some long lines (#4794)

Estimated changes