Changes

MyWikiBiz, Author Your Legacy — Friday September 27, 2024
Jump to navigationJump to search
Line 427: Line 427:  
<math>\begin{align}
 
<math>\begin{align}
 
\operatorname{Der}^L
 
\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>
 +
 +
<br>
 +
 +
<math>\begin{align}
 +
\operatorname{F2.2a.} \quad \operatorname{Der}^L
 
& = & \{ & (x, y) \in S \times I ~: \\
 
& = & \{ & (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)) \\
 
&  &    & \underset{o \in O}{\operatorname{Conj}}~ (\upharpoonleft \operatorname{Den}(L, x) \upharpoonright (o) ~=~ \upharpoonleft \operatorname{Den}(L, y) \upharpoonright (o)) \\
12,080

edits

Navigation menu