Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-12-15 21:49 5a835b7b

View on Github →

chore(*): tweaks taken from gh-8889 (#10829) That PR is stale, but contained some trivial changes we should just take.

Estimated changes