Nuprl Definition : seteqtrans
seteqtrans() == λ_,_,_,eq1,eq2. coW-trans(eq1; eq2)
Definitions occuring in Statement :
coW-trans: coW-trans(X; Y),
lambda: λx.A[x]
Definitions occuring in definition :
coW-trans: coW-trans(X; Y),
lambda: λx.A[x]
FDL editor aliases :
seteqtrans
Latex:
seteqtrans() == \mlambda{}$_{}$,$_{}$,$_{}$,eq1,\000Ceq2. coW-trans(eq1; eq2)
Date html generated:
2018_07_29-AM-09_51_17
Last ObjectModification:
2018_07_11-PM-00_16_08
Theory : constructive!set!theory
Home
Index