Theorem mul_left_cancel

Modification history