Theorem Mathlib.Tactic.Linarith.lt_irrefl

Modification history