Mathlib v3 is deprecated. Go to Mathlib v4

Theorem prime.dvd_of_pow_dvd_pow_mul_pow_of_square_not_dvd

Modification history

2022-02-28 10:33
src/algebra/associated.lean
feat(ring_theory/polynomial/eisenstein): add a technical lemma (#11839) …
Added prime.dvd_of_pow_dvd_pow_mul_pow_of_square_not_dvdView on Github →