Theorem Equiv.inv_mulLeft

Modification history