leastfixedpoint

Archived tweet #5956 from the @leastfixedpoint Twitter Archive
@GavinDoig @donAlvar a necessary but not sufficient precondition for robustness maybe