Theorem selfZpow_pow_sub

Modification history