Theorem Ring.map_choose

Modification history

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