Theorem mul_right_cancel_iff

Modification history