Theorem MvPowerSeries.trunc'_map

Modification history

2025-02-19 22:17

Mathlib/RingTheory/MvPowerSeries/Trunc.lean

feat(RingTheory/MvPowerSeries/Trunc): define variant of truncation (#20958) …

Added MvPowerSeries.trunc'_map View on Github →