leastfixedpoint

Archived tweet #10586 from the @leastfixedpoint Twitter Archive
@jcreed @BowToChris @maxsnew Uh, hmm, I was thinking "(all P Q R . P->Q->R) iff (all P Q R . (P->Q)->(P->R))"