Theorem MulChar.apply_mem_rootsOfUnity_of_pow_eq_one

Modification history