Step * of Lemma tupletype_nil_lemma

tuple-type([]) Unit
BY
(UnivCD THENA Auto) }

1
tuple-type([]) Unit


Latex:


Latex:
tuple-type([])  \msim{}  Unit


By


Latex:
(UnivCD  THENA  Auto)




Home Index