Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-09-25 06:48 42d82435

View on Github →

feat(data/polynomial/eval): map_equiv (#9375)

Estimated changes