Theorem Polynomial.aeval_ne_zero_of_isCoprime

Modification history

2024-08-12 18:29
Mathlib/Algebra/Polynomial/RingDivision.lean
chore: move to v4.11.0-rc2 (new `variable` command) (#15726)
Modified Polynomial.aeval_ne_zero_of_isCoprimeView on Github →
2024-07-17 14:16
Mathlib/Algebra/Polynomial/RingDivision.lean
feat(FieldTheory/*): prove coprimality of polynomials in terms of roots (#14659)
Added Polynomial.aeval_ne_zero_of_isCoprimeView on Github →