Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-11-10 17:24 933620c0

View on Github →

fix timeouts

Estimated changes