Theorem div_lt_div_right

Modification history