Mathlib

Ordinary generating function: G(x) = ∑_{n≥0} aₙ xⁿ. The sequence is the coefficients.