Theorem PowerSeries.constantCoeff_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.constantCoeff_largeSchroderSeriesView on Github →