leastfixedpoint

Archived tweet #7732 from the @leastfixedpoint Twitter Archive
do 2 (rewrite i_wish_more_automatic_unfolding_happened); reflexivity