Theorem MvPowerSeries.trunc_map

Modification history

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