Theorem isBigO_rpow_top_log_smul

Modification history