Assertion: algebra's property | /r/HasProperty | deduced
Facets:
value: from the universal property
type: OTHER
Source sentences:
text: It follows that all properties of the symmetric algebra can be deduced from the universal property.