Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-02-02 21:05 7f3590b4

View on Github →

feat(field_theory/minpoly): add a nontriviality lemma (#11781)

Estimated changes