Theorem mul_invOf_eq_iff_eq_mul_right

Modification history