Theorem mabs_div_le_max_div

Modification history