Theorem Ring.map_multichoose

Modification history

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