Theorem split_equalCharZero_mixedCharZero

Modification history