Step
*
of Lemma
eager_map_nil_lemma
∀f:Top. (eager-map(f;[]) ~ [])
BY
{ (UnivCD THENA Auto) }
1
1. f : Top
⊢ eager-map(f;[]) ~ []
Latex:
Latex:
\mforall{}f:Top.  (eager-map(f;[])  \msim{}  [])
By
Latex:
(UnivCD  THENA  Auto)
Home
Index