leastfixedpoint

Archived tweet #9699 from the @leastfixedpoint Twitter Archive
@sclv $15 to express the axiom of choice, but as a consequence you get your money back twice over