Theorem IsPrimitiveRoot.map_of_injective

Modification history