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