Theorem Equiv.pow_addRight

Modification history