Assertion: euclidean space | /r/HasSubgroup | real euclidean space
Facets:
Source sentences: