Separation I: Strong separation of point and set
Channel: Sebastian Banert
Date: 2020-11-27

We show a strong separation theorem between a non-empty, closed, convex set and a vector outside the set.