Theorem Equiv.pow_mulLeft

Modification history