Theorem IsPrimitiveRoot.norm_pow_sub_one_two

Modification history