Theorem IsPrimitiveRoot.pow

Modification history