Def Mathlib.Tactic.Linarith.isNatCoe

Modification history