Theorem inv_mul_le_iff_le_mul'

Modification history