Manuscript Em03-H@8 · Em03-H-v8.tex · section · 91e9e3bd

Exact signed extraction and its reached space

Exact signed extraction and its reached space · lines 746–761

Back to manuscript

Target A extracts under

Since ,

For disjoint , define .

Displayed formulas in this passage

  • unlabeled · line 750

  • unlabeled · line 755

Nearby in this section