Theorem norm_zpow_isUnit

Modification history