Theorem IsPrimitiveRoot.autToPow_spec

Modification history