Theorem nnnorm_zpow_abs

Modification history