Step * of Lemma zip-map

[L:Top List]. ∀[f,g:Top].  (zip(map(f;L);map(g;L)) map(λx.<x, x>;L))
BY
(InductionOnList THEN Reduce THEN Auto) }


Latex:


Latex:
\mforall{}[L:Top  List].  \mforall{}[f,g:Top].    (zip(map(f;L);map(g;L))  \msim{}  map(\mlambda{}x.<f  x,  g  x>L))


By


Latex:
(InductionOnList  THEN  Reduce  0  THEN  Auto)




Home Index