Theorem selfZpow_add

Modification history