leastfixedpoint

Archived tweet #11058 from the @leastfixedpoint Twitter Archive
@prathyvsh And the usual lovely N(M(x)) = G(N(x)) of course :-)