Theorem Nat.div_lt_iff_lt_mul'

Modification history