Theorem PowerSeries.coeff_X_mul_largeSchroderSeriesSeries_sq

Modification history

2026-11-10 23:17
Mathlib/RingTheory/PowerSeries/Schroder.lean
chore(RingTheory): remove unused hypothesis (#45696) …
Modified PowerSeries.coeff_X_mul_largeSchroderSeriesSeries_sqView on Github →
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_X_mul_largeSchroderSeriesSeries_sqView on Github →