Update DSL.md

linsyking · Apr 5, 2023 · 8dbb0a8 · 8dbb0a8
1 parent 9aba642
commit 8dbb0a8
Showing 1 changed file with 1 addition and 7 deletions.
diff --git a/docs/DSL.md b/docs/DSL.md
@@ -1,9 +1,3 @@
 # Double Substitution Lemma
 
-$[x/y]([y/x]y)=\begin{cases}
-    y, x\subset y\\
-    x, \text{otherwise}
-\end{cases}$
-
-Similar result:
-$[x/yy]([yy/x]y)=y$
+If X, Y are non-empty strings, and $X \subset Y$, then $[X/Y][Y/X]Z=Z$.