Theorem MvPowerSeries.eq_iff_frequently_trunc'_eq

Modification history

2026-01-04 10:12
Mathlib/RingTheory/MvPowerSeries/Trunc.lean
feat(RingTheory/MvPowerSeries): (mv) PowerSeries version of `expand_char` (#33091) …
Added MvPowerSeries.eq_iff_frequently_trunc'_eqView on Github →