Theorem PowerSeries.normalized_count_X_eq_of_coe

Modification history

2024-07-05 11:29
Mathlib/RingTheory/PowerSeries/Inverse.lean
feat: add properties of the X-adic valuation on `PowerSeries K` (#13064) …
Added PowerSeries.normalized_count_X_eq_of_coeView on Github →