Poincaré separation theorem (source code)

= Poincaré separation theorem
{wiki=Poincaré_separation_theorem}

The Poincaré Separation Theorem is a result in topology, specifically in the context of convex sets in Euclidean space.