Def Linarith.removeNegations

Modification history