Theorem selfZPow_zero

Modification history