Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-01-05 14:12 87bf6184

View on Github →

feat(data/polynomial): C_neg and C_sub (#561)

Estimated changes

Modified data/polynomial.lean

added theorem polynomial.C_neg

added theorem polynomial.C_sub