Theorem MulChar.map_nonunit

Modification history