Theorem isLittleO_log_rpow_nhdsGT_zero

Modification history