You can look up the words in the phrase individually using these links:
aronszajn?smith?theorem?
(A question mark next to a word above means that we couldn't find it, but clicking the word might provide spelling suggestions.)
Not helpful? You might try using the wildcards * and ? to find the word you're looking for. For example, use