Def Derivation.mapCoeffs

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