Theorem selfZPow_pow_sub

Modification history