Theorem PowerSeries.invOneSubPow_val_succ_eq_mk_add_choose

Modification history