Theorem IsPrimitiveRoot.nrRealPlaces_eq_zero_of_two_lt

Modification history