Def Linarith.compWithZero

Modification history