leastfixedpoint

Archived tweet #10566 from the @leastfixedpoint Twitter Archive
@igstan I'd kill for a usable equivalence relation, for a start.