mathlib3
7f3590b4 - feat(field_theory/minpoly): add a nontriviality lemma (#11781)

Commit

3 years ago

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

Author

ericrbg

ericrbg

Parents

Loading