HomePhabricator

the division between Starlike and Convex_Euclidean_Space is artificial…

Authored by immler.

Description

the division between Starlike and Convex_Euclidean_Space is artificial, therefore include Starlike

Details

Committed
immlerNov 4 2019, 11:59 PM
Parents
rISABELLE12cbcd00b651: betweenness is a property on line segments
Branches
Unknown
Tags
Unknown