Theorem inv_mul_le_iff_le_mul

Modification history