Def Linarith.isNatIntCoe

Modification history