Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-03-31 00:48 e1c035da

View on Github →

feat(data/polynomial): eval₂_neg

Estimated changes

added theorem polynomial.eval₂_neg
added theorem polynomial.eval₂_sub