Theorem Equiv.Perm.pow_addRight

Modification history