0x6698dba0 January 15, 2024 { } See also Link to heading Existence of thick line segments in the euclidean space