Least fixed point (source code)

= Least fixed point
{wiki=Least_fixed_point}