Theorem Polynomial.aeval_add_of_sq_eq_zero

Modification history

2025-11-20 14:55
Mathlib/Algebra/Polynomial/Taylor.lean
feat(RingTheory/Etale): standard etale maps (#30867)
Added Polynomial.aeval_add_of_sq_eq_zeroView on Github →