Changes

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

edits