Def Linarith.flipNegatedComparison

Modification history