Theorem binomialSeries_apply

Modification history

2025-11-06 19:26

Mathlib/Analysis/Analytic/Binomial.lean

feat(Analysis): binomial series convergence (#31047) …

Added binomialSeries_apply View on Github →