Changes

Line 4,025: Line 4,025:  
|- style="height:50px"
 
|- style="height:50px"
 
| width="2%"  style="border-top:1px solid black" |  
 
| width="2%"  style="border-top:1px solid black" |  
| width="10%" style="border-top:1px solid black" | <math>\text{If}\!</math>
+
| width="12%" style="border-top:1px solid black" | <math>\text{If}\!</math>
| width="68%" style="border-top:1px solid black" | <math>L ~\subseteq~ O \times S \times I</math>
+
| width="66%" style="border-top:1px solid black" | <math>L ~\subseteq~ O \times S \times I</math>
 
| width="20%" style="border-top:1px solid black; border-left:1px solid black" | &nbsp;
 
| width="20%" style="border-top:1px solid black; border-left:1px solid black" | &nbsp;
 
|- style="height:50px"
 
|- style="height:50px"
Line 4,036: Line 4,036:  
|-
 
|-
 
|
 
|
{| align="center" cellpadding="0" cellspacing="0" style="text-align:center; width:100%"
+
{| align="center" cellpadding="0" cellspacing="0" width="100%"
 
|- style="height:10px"
 
|- style="height:10px"
 
| width="2%"  style="border-top:1px solid black" | &nbsp;
 
| width="2%"  style="border-top:1px solid black" | &nbsp;
| width="10%" style="border-top:1px solid black" | &nbsp;
+
| width="12%" style="border-top:1px solid black" | &nbsp;
| width="68%" style="border-top:1px solid black" | &nbsp;
+
| width="66%" style="border-top:1px solid black" | &nbsp;
 
| width="20%" style="border-top:1px solid black; border-left:1px solid black" | &nbsp;
 
| width="20%" style="border-top:1px solid black; border-left:1px solid black" | &nbsp;
 
|- style="height:60px"
 
|- style="height:60px"
Line 4,047: Line 4,047:  
| valign="top" |
 
| valign="top" |
 
<math>\begin{align}
 
<math>\begin{align}
\operatorname{Der}^L
+
\operatorname{Der}(L)
 
& = & \{ & (x, y) \in S \times I ~: \\
 
& = & \{ & (x, y) \in S \times I ~: \\
 
&  &    & \begin{align}
 
&  &    & \begin{align}
12,080

edits