Manuscript En03-A@1 · En03-A.tex · proposition · 5398614e
Proposition: A witness invisible to name data
External conical geometry and certified local moves › Equal name data, unequal marked-slice data · lines 1388–1406 · proof included or linked
En03-A@1#prop:fan-witness, En03-A@1#eq:fan-rapidity
Attach identical matter interfaces, states, and abstract cell assignments to the resting fan and to eq:fan with . Their particle holonomy is the same, but
Proof. The relevant inner products are and , and .
Displayed formulas in this passage
En03-A@1#eq:fan-rapidity · line 1393