Tucker's lemma (source code)

= Tucker's lemma
{wiki=Tucker's_lemma}