Nuprl Definition : mk-set
f"(T) == Wsup(T;f)
Definitions occuring in Statement :
Wsup: Wsup(a;b)
Definitions occuring in definition :
Wsup: Wsup(a;b)
FDL editor aliases :
mk-set
Latex:
f"(T) == Wsup(T;f)
Date html generated:
2018_05_22-PM-09_47_41
Last ObjectModification:
2018_05_16-PM-01_31_11
Theory : constructive!set!theory
Home
Index