Theorem PowerSeries.exp_mul_exp_neg_eq_one

Modification history