Theorem MulChar.map_ringChar

Modification history