leastfixedpoint

Archived tweet #6707 from the @leastfixedpoint Twitter Archive
TFW final lemma for bugfix to would-have-been-fatal flaw goes through, mere hours before submission deadline