Theorem IsPrimitiveRoot.zpowers_eq

Modification history