Changes

Line 4,051: Line 4,051:  
|  
 
|  
 
| style="border-left:1px solid black; text-align:center" | <math>::\!</math>
 
| style="border-left:1px solid black; text-align:center" | <math>::\!</math>
|- style="height:40px"
+
|- style="height:60px"
 
| &nbsp;
 
| &nbsp;
 
| valign="top" | <math>\operatorname{F2.1f.}</math>
 
| valign="top" | <math>\operatorname{F2.1f.}</math>
Line 4,067: Line 4,067:  
| &nbsp;
 
| &nbsp;
 
| style="border-left:1px solid black; text-align:center" | <math>::\!</math>
 
| style="border-left:1px solid black; text-align:center" | <math>::\!</math>
|- style="height:40px"
+
|- style="height:60px"
 
| &nbsp;
 
| &nbsp;
 
| valign="top" | <math>\operatorname{F2.1g.}</math>
 
| valign="top" | <math>\operatorname{F2.1g.}</math>
Line 4,100: Line 4,100:  
| &nbsp;
 
| &nbsp;
 
| style="border-left:1px solid black; text-align:center" | <math>::\!</math>
 
| style="border-left:1px solid black; text-align:center" | <math>::\!</math>
|- style="height:40px"
+
|- style="height:60px"
 
| &nbsp;
 
| &nbsp;
| <math>\operatorname{F2.1i.}</math>
+
| valign="top" | <math>\operatorname{F2.1i.}</math>
| <math>\ldots</math>
+
| valign="top" |
 +
<math>\begin{array}{ll}
 +
\{ & (x, y) \in S \times I ~: \\
 +
  & \underset{o \in O}{\operatorname{Conj}}~ \underline{((}~ \upharpoonleft L_{OS} \cdot x \upharpoonright ~,~ \upharpoonleft L_{OS} \cdot y \upharpoonright ~\underline{))}^\$ (o) \\
 +
\} & \\
 +
\end{array}</math>
 
| style="border-left:1px solid black; text-align:center" |
 
| style="border-left:1px solid black; text-align:center" |
 
<math>\operatorname{F2.1i~:~D12a}</math>
 
<math>\operatorname{F2.1i~:~D12a}</math>
12,080

edits