Searched defs:theIneq (Results 1 – 2 of 2) sorted by relevance
1726 Expr theIneq = theIneqThm.getExpr(); in projectInequalities() local3273 Expr theIneq = thm.getRHS(); in rewrite() local3311 Expr theIneq = thm.getRHS(); in rewrite() local
1360 Expr theIneq = theIneqThm.getExpr(); in projectInequalities() local