Theorem Equiv.mulLeft_symm

Modification history