The Reduction Theorem
This note states and proves a TLA reduction theorem. See the discussion of [123]. Text versions of this and all other TLA notes are available here.
This note states and proves a TLA reduction theorem. See the discussion of [123]. Text versions of this and all other TLA notes are available here.