Nuprl Definition : sq_exists
∃x:{A| B[x]} == {x:A| B[x]}
Definitions occuring in Statement :
set: {x:A| B[x]}
Definitions occuring in definition :
set: {x:A| B[x]}
FDL editor aliases :
sq_exists
Latex:
\mexists{}x:\{A| B[x]\} == \{x:A| B[x]\}
Date html generated:
2016_05_13-PM-03_04_19
Last ObjectModification:
2015_09_22-PM-05_43_40
Theory : core_1
Home
Index