Theorem IsPrimitiveRoot.powerBasis_gen_mem_adjoin_zeta_sub_one

Modification history