Ky Fan lemma (source code)

= Ky Fan lemma
{wiki=Ky_Fan_lemma}