Theorem one_lt_one_div

Modification history