Theorem PowerSeries.trunc_one_X

Modification history

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