Theorem Nonneg.mk_pow

Modification history