leastfixedpoint

Archived tweet #2420 from the @leastfixedpoint Twitter Archive
@silentbicycle True but if you look at it as turtles *all the way down* it gets simpler again :-) (Warning: untested conjecture)