Def Linarith.elimWithSet

Modification history