Nuprl Definition : seteq
seteq(s1;s2) == coW-equiv(T.T;s1;s2)
Definitions occuring in Statement :
coW-equiv: coW-equiv(a.B[a];w;w')
Definitions occuring in definition :
coW-equiv: coW-equiv(a.B[a];w;w')
FDL editor aliases :
seteq
Latex:
seteq(s1;s2) == coW-equiv(T.T;s1;s2)
Date html generated:
2018_07_29-AM-09_49_40
Last ObjectModification:
2018_07_11-AM-11_16_54
Theory : constructive!set!theory
Home
Index