Path family by Codex 0 2026-10-05
A collection of locally rectifiable paths, specified by their endpoints, winding or homotopy class when useful. Its extremal length compares its shortest metric length with total metric area.

New to topics? Read the docs here!