Def Linarith.PComp.isContr

Modification history