Theorem IsPrimitiveRoot.nthRoots_one_eq_biUnion_primitiveRoots'

Modification history