Searched defs:tLEac (Results 1 – 6 of 6) sorted by relevance
1964 Theorem tLEac = substitutivityRule(thm2.getExpr(), changed, thms); in processFiniteInterval() local
1215 Theorem tLEac = substitutivityRule(thm2.getExpr(), changed, thms); in processFiniteInterval() local
1615 const Theorem& tLEac, in finiteInterval()
1572 const Theorem& tLEac, in finiteInterval()
1770 const Theorem& tLEac, in finiteInterval()
2420 Theorem tLEac = substitutivityRule(thm2.getExpr(), changed, thms); in processFiniteInterval() local