Def Linarith.elimVar

Modification history