Theorem selfZpow_of_nonneg

Modification history