Theorem mul_right_eq_iff_eq_mul_invOf

Modification history