Theorem IsPrimitiveRoot.inv_iff

Modification history