Nuprl Definition : forsome
∃x.P[x] == ∃x:Dom. P[x]
Definitions occuring in Statement :
exists: ∃x:A. B[x]
FDL editor aliases :
forsome
\mexists{}x.P[x] == \mexists{}x:Dom. P[x]
Date html generated:
2015_07_17-AM-07_52_30
Last ObjectModification:
2012_08_24-PM-03_31_22
Home
Index