The Least FixedPoint of a function f is the smallest x such that f(x) = x
LeastFixedPoint (last edited 2004-11-07 19:22:51 by yakko)