Theorem one_div_pow_strictAnti

Modification history