Theorem MulChar.one_apply_coe

Modification history