Manuscript Em01-B@3 · Em01-B-v3.tex · definition · 69189992
Definition: Complete vertex operation
Frozen expression and complete contraction › Explicit vertex and its arbitrary-test action · lines 623–645
Em01-B@3#def:vertex, Em01-B@3#eq:vertex, Em01-B@3#eq:vertex-test
For and smooth , define
For every compact joint dual test , this means
Displayed formulas in this passage
Em01-B@3#eq:vertex · line 627
Em01-B@3#eq:vertex-test · line 636