leastfixedpoint

Archived tweet #4832 from the @leastfixedpoint Twitter Archive
Thm. ∀C ∈ actor configurations, either C inert, or ∃C' s.t. C → C'. #finally #qed