Theorem nnnorm_pow_natAbs

Modification history