Commit 2024-05-16 20:36 7eebb5fb
View on Github →feat(RingTheory/PowerSeries/WellKnown): the power series of 1 / ((1 - x) ^ (d + 1))
with coefficients in a commutative ring S
, where d : ℕ
. (#11255)
feat(RingTheory/PowerSeries/WellKnown): the power series of 1 / ((1 - x) ^ (d + 1))
with coefficients in a commutative ring S
, where d : ℕ
. (#11255)