Triangle KKM lemma (source code)

= Triangle KKM lemma

If three closed sets cover a triangle and respectively contain its three opposite sides, then their triple intersection is nonempty.