Theorem PowerSeries.exp_pow_eq_rescale_exp

Modification history