equal
deleted
inserted
replaced
2071 \caption{A movie move} |
2071 \caption{A movie move} |
2072 \label{jun23d} |
2072 \label{jun23d} |
2073 \end{figure} |
2073 \end{figure} |
2074 Invariance under this movie move follows from the compatibility of the inner |
2074 Invariance under this movie move follows from the compatibility of the inner |
2075 product for $B_1\cup B_2$ with the inner products for $B_1$ and $B_2$. |
2075 product for $B_1\cup B_2$ with the inner products for $B_1$ and $B_2$. |
|
2076 \nn{should also say something about locality/distant-commutativity} |
2076 |
2077 |
2077 If $n\ge 2$, these two movie move suffice: |
2078 If $n\ge 2$, these two movie move suffice: |
2078 |
2079 |
2079 \begin{lem} |
2080 \begin{lem} |
2080 Assume $n\ge 2$ and fix $E$ and $E'$ as above. |
2081 Assume $n\ge 2$ and fix $E$ and $E'$ as above. |