Searched defs:TheoremEq (Results 1 – 2 of 2) sorted by relevance
281 static bool TheoremEq(const Theorem& t1, const Theorem& t2) in TheoremEq() function
1096 inline bool TheoremEq(const Theorem& t1, const Theorem& t2) { in TheoremEq() function