Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-10-01 08:55 9235c8a3

View on Github →

feat(data/polynomial/basic): polynomial.update (#9020)

Estimated changes