HomeIsabelle/Phabricator

betweenness is a property on line segments