Theorem norm_pow_le_mul_norm

Modification history