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_eq'View on Github →