Step * of Lemma fpf_ap_pair_lemma

x,eq,f,d:Top.  (<d, f>(x) x)
BY
(UnivCD THENA Auto) }

1
1. Top
2. eq Top
3. Top
4. Top
⊢ <d, f>(x) x


Latex:


Latex:
\mforall{}x,eq,f,d:Top.    (<d,  f>(x)  \msim{}  f  x)


By


Latex:
(UnivCD  THENA  Auto)




Home Index