Def Linarith.getContrLemma

Modification history