Theorem div_lt_div

Modification history