Nuprl Definition : set-dom

set-dom(s) ==  fst(s)


Definitions occuring in Statement :  pi1: fst(t)
Definitions occuring in definition :  pi1: fst(t)
FDL editor aliases :  set-dom
Latex:
set-dom(s)  ==    fst(s)


Date html generated: 2018_05_22-PM-09_47_43
Last ObjectModification: 2018_05_16-PM-01_31_12

Theory : constructive!set!theory


Home Index