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)

Estimated changes