leastfixedpoint

Archived tweet #7076 from the @leastfixedpoint Twitter Archive
TFW the cold light of morning reveals that what you took last night to be a theorem is really not more than a lemma