Assertion: trigonometric identity | /r/HasProperty | slight abuse of language
Facets:
Source sentences:
text: Strictly the X i here are "non-commuting indeterminates", and so "polynomial identity" is a slight abuse of language, since "polynomial" here stands for what is usually called a "non-commutative polynomial".