Theorem IsPrimitiveRoot.pow_inj

Modification history