leastfixedpoint

Archived tweet #6447 from the @leastfixedpoint Twitter Archive
@noelwelsh Sure, but 12m+13n != 1140 for integral m,n and low n, too. Oh I don't know. I give up :-)