Theorem Linarith.mul_eq

Modification history