Theorem Mathlib.Tactic.Linarith.mul_zero_eq

Modification history