Assertion: identity | /r/HasSubgroup | trigonometric identity
Facets:
Source sentences: