Theorem prodXSubSmul.eval

Modification history