Nuprl Definition : coSet

coSet{i:l} ==  coW(Type;x.x)


Definitions occuring in Statement :  coW: coW(A;a.B[a]),  universe: Type
Definitions occuring in definition :  coW: coW(A;a.B[a]),  universe: Type
FDL editor aliases :  coSet
Latex:
coSet\{i:l\}  ==    coW(Type;x.x)


Date html generated: 2019_10_31-AM-06_32_39
Last ObjectModification: 2018_05_29-PM-02_07_14

Theory : constructive!set!theory


Home Index