Skip to content

Latest commit

 

History

History
9 lines (7 loc) · 152 Bytes

DSL.md

File metadata and controls

9 lines (7 loc) · 152 Bytes

Double Substitution Lemma

$x/y=\begin{cases} y, x\subset y\ x, \text{otherwise} \end{cases}$

Similar result: $x/yy=y$