Theorem IsPrimitiveRoot.isPrimitiveRoot_iff

Modification history