Def Linarith.natToInt

Modification history