Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-05-25 12:50 52b839f3

View on Github →

feat(data/polynomial): is_unit_C (#2812)

Estimated changes

Modified src/data/polynomial.lean

added theorem polynomial.is_unit_C