Theorem MulChar.coeToFun_mul

Modification history