Assertion: absolute value | /r/HasSubgroup | complex absolute value
Facets:
Source sentences: