Theorem MulChar.apply_mem_rootsOfUnity

Modification history