Theorem PowerSeries.exp_mul_exp_eq_exp_add

Modification history