Changes

MyWikiBiz, Author Your Legacy — Wednesday May 22, 2024
Jump to navigationJump to search
Line 4,300: Line 4,300:  
|- style="height:50px; text-align:center"
 
|- style="height:50px; text-align:center"
 
| style="width:80%" |  
 
| style="width:80%" |  
| style="width:20%; border-left:1px solid black" | <math>\operatorname{Fact~2.2}</math>
+
| style="width:20%; border-left:1px solid black" | <math>\operatorname{Fact~2.3}</math>
 
|}
 
|}
 
|-
 
|-
Line 4,348: Line 4,348:  
| valign="top" |
 
| valign="top" |
 
<math>\begin{array}{ccccl}
 
<math>\begin{array}{ccccl}
\upharpoonleft \operatorname{Der}^L \upharpoonright
+
\upharpoonleft \operatorname{Der}^L \upharpoonright (x, y)
& = & \upharpoonleft & \{ & (x, y) \in S \times I ~: \\
+
& = & \downharpoonleft & \underset{o \in O}{\operatorname{Conj}} \\
&  &                 &   & \begin{array}{ccl}
+
&  &                   & & \begin{array}{cl}
                            \underset{o \in O}{\operatorname{Conj}} \\
+
                            ( & \upharpoonleft \operatorname{Den}^L x \upharpoonright (o) \\
                            & ( & \upharpoonleft \operatorname{Den}^L x \upharpoonright (o) \\
+
                            = & \upharpoonleft \operatorname{Den}^L y \upharpoonright (o) \\
                            & = & \upharpoonleft \operatorname{Den}^L y \upharpoonright (o) \\
+
                            ) & \\
                            & ) & \\
+
                            \end{array} \\
                            \end{array} \\
+
&  & \downharpoonright & & \\
&                & \} & \\
  −
&  & \upharpoonright &   & \\
   
\end{array}</math>
 
\end{array}</math>
 
| style="border-left:1px solid black; text-align:center" |
 
| style="border-left:1px solid black; text-align:center" |
12,080

edits

Navigation menu