Changes

Line 440: Line 440:  
&  & \} & \\
 
&  & \} & \\
 
\end{align}</math>
 
\end{align}</math>
 +
 +
<br>
 +
 +
<math>\begin{array}{lllll}
 +
\operatorname{F2.2a.} & \operatorname{Der}^L & = & \{ & (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)) \\
 +
                      &                      &  & \} & \\
 +
\end{array}</math>
    
<br>
 
<br>
12,080

edits