Step * of Lemma rcv_locl_lemma

a,tg,l:Top.  (rcv(l,tg) locl(a) ff)
BY
(UnivCD THENA Auto) }

1
1. Top@i
2. tg Top@i
3. Top@i
⊢ rcv(l,tg) locl(a) ff


Latex:


\mforall{}a,tg,l:Top.    (rcv(l,tg)  =  locl(a)  \msim{}  ff)


By

(UnivCD  THENA  Auto)




Home Index