Def MulChar.IsNontrivial

Modification history