Theorem cexp_neg_quadratic_isLittleO_abs_rpow_cocompact

Modification history