Theorem div_lt_div_right'

Modification history