Theorem inv_lt_div_iff_lt_mul'

Modification history