Assertion: cut | /r/HasSubgroup | dedekind cut
Facets:
Source sentences: