Theorem Linarith.mul_neg

Modification history