Theorem mul_inv_le_iff_le_mul'

Modification history