Step * of Lemma listid_nil_lemma

listid([]) []
BY
(UnivCD THENA Auto) }

1
listid([]) []


Latex:


Latex:
listid([])  \msim{}  []


By


Latex:
(UnivCD  THENA  Auto)




Home Index