Theorem IsPrimitiveRoot.ne_one

Modification history