Changes

Line 428: Line 428:  
\operatorname{Der}^L
 
\operatorname{Der}^L
 
& = & \{ & (x, y) \in S \times I ~: \\
 
& = & \{ & (x, y) \in S \times I ~: \\
&  &    & \underset{o \in O}{\operatorname{Conj}} \upharpoonleft \operatorname{Den}(L, x) \upharpoonright (o) ~=~ \upharpoonleft \operatorname{Den}(L, y) \upharpoonright (o) \\
+
&  &    & \underset{o \in O}{\operatorname{Conj}}~ (\upharpoonleft \operatorname{Den}(L, x) \upharpoonright (o) ~=~ \upharpoonleft \operatorname{Den}(L, y) \upharpoonright (o)) \\
 
&  & \} & \\
 
&  & \} & \\
 
\end{align}</math>
 
\end{align}</math>
12,080

edits