Skip to content

Latest commit

 

History

History
3 lines (2 loc) · 101 Bytes

DSL.md

File metadata and controls

3 lines (2 loc) · 101 Bytes

Double Substitution Lemma

If X, Y are non-empty strings, and $X \subset Y$, then $[X/Y][Y/X]Z=Z$.