Theorem Complex.ofReal_choose

Modification history

2025-11-06 19:26
Mathlib/Analysis/Analytic/Binomial.lean
feat(Analysis): binomial series convergence (#31047) …
Added Complex.ofReal_chooseView on Github →