Theorem selfZPow_add

Modification history