Assertion: presentation's element | /r/HasProperty | finite product
Facets:
Source sentences:
text: If we then let N be the subgroup of F generated by all conjugates x−1Rx of R, then it follows by definition that every element of N is a finite product x 1 −1r 1 x 1 ⋯ {\displaystyle \cdots }