Theorem mul_left_inj'

Modification history