Theorem prodXSubSMul.eval

Modification history