Commit 2024-04-06 00:52 3f228059
View on Github →feat(LaurentSeries): Hasse derivatives of Laurent series (#11430) This PR defines Hasse derivatives of formal Laurent series using integer binomial coefficients, and proves some basic properties.
feat(LaurentSeries): Hasse derivatives of Laurent series (#11430) This PR defines Hasse derivatives of formal Laurent series using integer binomial coefficients, and proves some basic properties.