Assertion: isomorphism | /r/HasProperty | constructed by the theorem
Facets:
Source sentences:
text: The theorems explicitly construct isomorphisms that are the natural choice for such an isomorphism; in all cases, the isomorphism constructed by the theorem is effectively the only possible thing to write down.