Theorem MulChar.ofRootOfUnity_spec

Modification history