Theorem mul_left_cancel_iff

Modification history