Theorem card_rootsOfUnity

Modification history