Theorem selfZPow_of_nonneg

Modification history