HomeIsabelle/Phabricator

Line_Segment is independent of Convex_Euclidean_Space

Authored by immler.