Ham Sandwhich theorem, raw concepts, see https://github.com/dginev/nnexus/issues/30

ham_sandwhich_raw_concepts

---
state
continuous function
bounded
hyperplane
mean

---
continuous function
closed ball
mean

---
normal
interval

---
continuous function
measurable
normal
intermediate value theorem
interval
mean

---
state
continuous function
map
subset
subset
normal
contained
bound
fixed
fixed
function
word

---
map

---
measure

---
proof
subset
radius
property
definition

---
state
function

---
mean

---
normal

---
point
mean

---
monotonically decreasing

---
bounded
normal
mean

---
borsuk-ulam theorem
continuous function
point
bounded
normal
normal
closed ball
interval

---
point
hyperplane
lying on
function
composition

---
antipodal point
point
point
hyperplane
lying on
side
side
side
radius
radius
origin
interval
midpoint
midpoint

---
intermediate value theorem

---
intermediate value theorem

---
normal
side
word
word

---
normal

---
continuous function
closed ball
intermediate value theorem
mean

---
bounded
measure
lying on

---
state
measure
mean

---
map
bounded

---
antipodal point
point
unit vector
hyperplane
normal
coordinate

---------
map

---
function
word

---
continuous function
closed ball
mean