Theorem Linarith.mul_zero_eq

Modification history