Theorem one_div_lt

Modification history