leastfixedpoint

Archived tweet #5963 from the @leastfixedpoint Twitter Archive
Compute fixed points using this one weird old theorem