Theorem mul_inv_lt_iff_le_mul'

Modification history