leastfixedpoint

Archived tweet #10598 from the @leastfixedpoint Twitter Archive
@maxsnew OMG thank you! That will likely unstick me! I'd forgotten "Lemma ... with". I'll try that now!