Theorem IsPrimitiveRoot.sub_one_norm_isPrimePow

Modification history