Assertion: curve's parametrization | /r/HasProperty | injective
Facets:
Source sentences:
text: When the curve is not self-intersecting (i.e. its parametrizations are injective), the length of the curve is then the $\mathcal{H}^1$ measure of its image (cp. with Lemma 3.2 of [Fa]).