Assertion: spectrum | /r/HasProperty | empty
Facets:
Source sentences:
text: If the spectrum were empty, then the resolvent function
text: If the spectrum were empty, then the resolvent function