Near Matches
Ignore Exact
Everything
2
theorem (definition)
See all of theorem
, there is 1 more in this node.