Theorem rpow_mul_exp_neg_mul_sq_isLittleO_exp_neg

Modification history