Assertion: symmetric algebra | /r/HasProperty | direct sum
Facets:
Source sentences:
text: That is, it is a direct sum