Theorem rexp_neg_quadratic_isLittleO_rpow_atTop

Modification history