Theorem IsPrimitiveRoot.eq_neg_one_of_two_right

Modification history