dill

2020-11-27 14:09:59 +01:00
parent f4da3dd939
commit 63dc7eab03
1 changed files with 1 additions and 1 deletions
@@ -610,7 +610,7 @@ can be written as
 \lambda_3 \\
 \dots \\
 \lambda_n \\
-\end{bmatrix}\wedge 
+\end{bmatrix} \preceq
 \begin{bmatrix} 0 \\
 0 \\
 0 \\