Changes

Line 4,119: Line 4,119:  
| width="10%" style="border-top:1px solid black" | <math>\operatorname{F2.2a.}</math>
 
| width="10%" style="border-top:1px solid black" | <math>\operatorname{F2.2a.}</math>
 
| width="68%" style="border-top:1px solid black" |
 
| width="68%" style="border-top:1px solid black" |
<math>\operatorname{Der}^L</math>
+
<math>\begin{align}
 +
\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{align}</math>
 
| width="20%" style="border-top:1px solid black; border-left:1px solid black; text-align:center" | <math>\operatorname{F2.2a~:~R11a}</math>
 
| width="20%" style="border-top:1px solid black; border-left:1px solid black; text-align:center" | <math>\operatorname{F2.2a~:~R11a}</math>
 
|- style="height:20px"
 
|- style="height:20px"
12,080

edits