Theorem isPrimitiveRoot_of_mem_primitiveRoots

Modification history