Theorem IsPrimitiveRoot.isPrimitiveRoot_iff'

Modification history