Theorem AddChar.val_mem_rootsOfUnity

Modification history