MyWikiBiz, Author Your Legacy — Tuesday November 04, 2025
Jump to navigationJump to search
98 bytes removed
, 03:15, 13 February 2009
| 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" | |