Theorem selfZpow_zero

Modification history