Theorem div_lt_div_left

Modification history