Searched refs:rhsFind (Results 1 – 1 of 1) sorted by relevance
4634 Expr rhsFind = rhsFindThm.getRHS(); in inequalityToFind() local4635 if (rhsFind != inequality[index]) { in inequalityToFind()