Theorem mem_rootsOfUnity_iff_mem_nthRoots

Modification history