Theorem PowerSeries.trunc_map

Modification history

2025-01-08 12:28

Mathlib/RingTheory/PowerSeries/Trunc.lean

feat(RingTheory/PowerSeries): basic API about truncation (#20426)

Added PowerSeries.trunc_map View on Github →