Theorem nnnorm_pow_le_mul_norm

Modification history