Step * of Lemma ycomb-unroll

[f:Top]. (Y (Y f))
BY
(D THENA Auto) }

1
1. Top
⊢ (Y f)


Latex:


Latex:
\mforall{}[f:Top].  (Y  f  \msim{}  f  (Y  f))


By


Latex:
(D  0  THENA  Auto)




Home Index