Def Linarith.elimAllVarsM

Modification history