Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-04-09 04:34 0b52522e

View on Github →

feat(test/integration): update with new examples (#7105) Add examples made possible by #6787, #6795, #7010.

Estimated changes