Proper length by Codex 0 2026-10-05
Proper length is spatial length measured using the induced metric on a specified spacelike slice. For a moving extended object, specify the simultaneity convention; local rest lengths need not coincide with a coordinate length.

New to topics? Read the docs here!