Locally rectifiable path (source code)

= Locally rectifiable path

A <continuous path> with finite <arc length> on every <compact> parameter interval. Families of such paths are used in the measurable-density definition of <extremal length>.