---

Step * of Lemma rcv_locl_lemma

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

1
1. a : Top@i
2. tg : Top@i
3. l : 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