Assertion: isometry | /r/HasProperty | exactly one isometry t
Facets:
Source sentences:
text: If ABC and A'B'C' are congruent triangles, we know from a fundamental theorem on isometries that there is exactly one isometry T that takes ABC to A'B'C'.