Assertion: spectrum | /r/HasSubgroup | discrete spectrum
Facets:
Source sentences: