Theorem Nonneg.pow_nonneg

Modification history