Theorem LaurentSeries.hasseDeriv_comp_coeff

Modification history

2024-10-22 09:16
Mathlib/RingTheory/LaurentSeries.lean
feat(RingTheory/LaurentSeries): composition of Hasse Derivatives (#16106) …
Added LaurentSeries.hasseDeriv_comp_coeffView on Github →