Theorem MvPowerSeries.trunc_C_mul

Modification history

2025-01-08 12:28
Mathlib/RingTheory/MvPowerSeries/Trunc.lean
feat(RingTheory/PowerSeries): basic API about truncation (#20426)
Added MvPowerSeries.trunc_C_mulView on Github →