Theorem integrable_mul_exp_neg_mul_sq

Modification history