Theorem mem_primitiveRoots

Modification history