Theorem PowerSeries.coeff_largeSchroderSeries

Modification history

2026-01-08 08:52
Mathlib/RingTheory/PowerSeries/Schroder.lean
feat(RingTheory/PowerSeries/Schroder): Define the generating function for large Schroder number (#30881) …
Added PowerSeries.coeff_largeSchroderSeriesView on Github →