Def Linarith.Comp.isContr

Modification history