Theorem Equiv.pow_addLeft

Modification history