Theorem Mathlib.Tactic.Linarith.eq_of_eq_of_eq

Modification history