Theorem Derivation.mapCoeffs_C

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.mapCoeffs_CView on Github →