Def Mathlib.Tactic.Linarith.natToInt

Modification history