Source: wikibot/fixed-point-lemma-for-normal-functions

= Fixed-point lemma for normal functions
{wiki=Fixed-point_lemma_for_normal_functions}