Mathlib Changelog
v4
Changelog
About
Github
Theorem
LaurentSeries.hasseDeriv_single_add
Modification history
2024-10-22 09:16
Mathlib/RingTheory/LaurentSeries.lean
feat(RingTheory/LaurentSeries): composition of Hasse Derivatives (#16106) …
Added
LaurentSeries.hasseDeriv_single_add
View on Github →