Theorem EqualCharZero.of_not_mixedCharZero

Modification history