Def Linarith.elimVarM

Modification history