Definition

Facts

where is arc length parametrization