Theorem Linarith.zero_mul_eq

Modification history