Theorem tendsto_rpow_neg_div

Modification history