Theorem Complex.isPrimitiveRoot_exp_of_coprime

Modification history