Theorem nnnorm_zpow_isUnit

Modification history