Searched defs:inequalityFindThm (Results 1 – 1 of 1) sorted by relevance
1070 Theorem inequalityFindThm = inequalityToFind(ineqThm, true); in processBuffer() local4624 Theorem inequalityFindThm; in inequalityToFind() local