Nuprl Definition : exists
∃x:A. B[x] == x:A × B[x]
Definitions occuring in Statement :
product: x:A × B[x]
Definitions occuring in definition :
product: x:A × B[x]
Rules referencing :
barInduction,
bar_Induction,
strong_bar_Induction,
Continuity,
StrongContinuity2,
existsFunctionality,
existsLevelFunctionality
FDL editor aliases :
exists
Latex:
\mexists{}x:A. B[x] == x:A \mtimes{} 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