Theorem div_lt_iff_lt_mul'

Modification history