Theorem mem_adjoin_of_dvd_coeff_of_dvd_aeval
Modification history
2025-03-17 19:45
Mathlib/RingTheory/Polynomial/Eisenstein/IsIntegral.lean
feat: generalize CommRing to Ring/Semiring (#22566) …
Modified mem_adjoin_of_dvd_coeff_of_dvd_aevalView on Github →