Theorem mem_rootsOfUnity_prime_pow_mul_iff'

Modification history