Nuprl Definition : K-dom
Dom(i) == (fst(snd(snd(fst(K))))) i
Definitions occuring in Statement :
pi1: fst(t),
pi2: snd(t),
apply: f a
Definitions occuring in definition :
apply: f a,
pi2: snd(t),
pi1: fst(t)
FDL editor aliases :
K-dom
Latex:
Dom(i) == (fst(snd(snd(fst(K))))) i
Date html generated:
2019_10_16-AM-11_44_25
Last ObjectModification:
2018_10_13-AM-11_55_16
Theory : minimal-first-order-logic
Home
Index