Manuscript IX-D@3 · IX-D-v3.tex · section · 3ad4586e

D5: conditional subtraction on the declared free domain

D5: conditional subtraction on the declared free domain · lines 1327–1333

The free-closure premise formerly required at this point is now Assumption ass:free2, restricted to $D_{decl}$ . Only the remaining causal-lift hypotheses are assumed below.

Nearby in this section

assumption: Assumption: Future time-ordered lift and comparison
section: D5: conditional subtraction on the declared free domain
proposition: Proposition: Conditional retarded-subtraction implication
section: D5: conditional subtraction on the declared free domain