Source: wikibot/least-fixed-point

= Least fixed point
{wiki=Least_fixed_point}