Searched refs:eq_thm (Results 1 – 1 of 1) sorted by relevance
3162 Theorem eq_thm = d_rules->multEqZero(nonlinearEq); in rewrite() local3163 thm = transitivityRule(thm, eq_thm); in rewrite()