Step
*
1
1
of Lemma
tupletype_nil_lemma
Unit ~ Unit
BY
{ RW (AddrC [2] (IdC)) 0⋅ }
1
Unit ~ Unit
Latex:
Latex:
Unit  \msim{}  Unit
By
Latex:
RW  (AddrC  [2]  (IdC))  0\mcdot{}
Home
Index