Theorem mul_inv_le_iff'

Modification history