Source: wikibot/ky-fan-lemma

= Ky Fan lemma
{wiki=Ky_Fan_lemma}