Theorem Derivation.apply_aeval_eq

Modification history

2024-09-11 12:15
Mathlib/RingTheory/Derivation/MapCoeffs.lean
feat(Algebra/Polynomial/Derivation): coefficient-wise derivation on a polynomial (#14702) …
Added Derivation.apply_aeval_eqView on Github →