Theorem IsPrimitiveRoot.map_iff_of_injective

Modification history