Theorem IsPrimitiveRoot.mk_of_lt

Modification history