Theorem mul_left_eq_iff_eq_invOf_mul

Modification history