Theorem PowerSeries.mk_add_choose_mul_one_sub_pow_eq_one

Modification history