Theorem one_div_pow_anti

Modification history