MyWikiBiz, Author Your Legacy — Wednesday November 05, 2025
Jump to navigationJump to search
446 bytes added
, 22:34, 12 February 2009
| Line 4,236: |
Line 4,236: |
| | | valign="top" | <math>\operatorname{F2.2e.}</math> | | | valign="top" | <math>\operatorname{F2.2e.}</math> |
| | | valign="top" | | | | valign="top" | |
| − | <math>\upharpoonleft \operatorname{Der}^L \upharpoonright</math> | + | <math>\begin{array}{cccl} |
| | + | \upharpoonleft \operatorname{Der}^L \upharpoonright |
| | + | & = & \{ & (x, y, z) \in S \times I \times \underline\mathbb{B} ~:~ z = \\ |
| | + | & & & \begin{array}{ccl} |
| | + | \underset{o \in O}{\operatorname{Conj}} \\ |
| | + | & \underline{((} & \upharpoonleft \operatorname{Den}^L x \upharpoonright (o) \\ |
| | + | & , & \upharpoonleft \operatorname{Den}^L y \upharpoonright (o) \\ |
| | + | & \underline{))} & \\ |
| | + | \end{array} \\ |
| | + | & & \} & \\ |
| | + | \end{array}</math> |
| | | style="border-left:1px solid black; text-align:center" | | | | style="border-left:1px solid black; text-align:center" | |
| | <math>\operatorname{F2.2e~:~Log}</math> | | <math>\operatorname{F2.2e~:~Log}</math> |