Theorem prodXSubSMul.monic

Modification history