Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-05-11 15:00 60da4f4d

View on Github →

feat(data/polynomial): degree_eq_one_of_irreducible_of_root (#1010)

Estimated changes