Theorem Mathlib.Tactic.Linarith.zero_mul_eq

Modification history