Step * of Lemma reverse_nil_lemma

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

1
rev([]) []


Latex:


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


By


Latex:
(UnivCD  THENA  Auto)




Home Index