Theorem tendsto_rpow_div

Modification history