Theorem PowerSeries.coeff_succ_C

Modification history