Def LaurentSeries.derivative

Modification history

2024-10-22 09:16

Mathlib/RingTheory/LaurentSeries.lean

feat(RingTheory/LaurentSeries): composition of Hasse Derivatives (#16106) …

Added LaurentSeries.derivative View on Github →