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.

Estimated changes