Theorem polynomial.is_weakly_eisenstein_at.pow_nat_degree_le_of_root_of_monic_mem
Modification history
2023-01-23 08:58
src/ring_theory/polynomial/eisenstein/basic.lean
chore(field_theory/minpoly/*): replace `gcd_monoid.lean` by `is_integrally_closed.lean` and remove results that have been generalized (#18206)
Modified polynomial.is_weakly_eisenstein_at.pow_nat_degree_le_of_root_of_monic_memView on Github →