leastfixedpoint

Archived tweet #9924 from the @leastfixedpoint Twitter Archive
@DRMacIver You've got a jolly tough row to hoe if you're working without an identity axiom.