Theorem norm_pow_natAbs

Modification history