leastfixedpoint

Archived tweet #2720 from the @leastfixedpoint Twitter Archive
@bramcohen Here's my attempt at (a sketch of) a proof for the 2D case: gist.github.com/1207521