Source: /wikibot/borel-fixed-point-theorem

= Borel fixed-point theorem
{wiki=Borel_fixed-point_theorem}