Nuprl Definition : ball
∀bx(:A) ∈ as. f[x] == For{<𝔹,∧b>} x ∈ as. f[x]
Definitions occuring in Statement :
mon_for: For{g} x ∈ as. f[x],
band_mon: <𝔹,∧b>
Definitions occuring in definition :
mon_for: For{g} x ∈ as. f[x],
band_mon: <𝔹,∧b>
Latex:
\mforall{}\msubb{}x(:A) \mmember{} as. f[x] == For\{<\mBbbB{},\mwedge{}\msubb{}>\} x \mmember{} as. f[x]
Date html generated:
2016_05_16-AM-07_37_06
Last ObjectModification:
2015_09_23-AM-09_51_31
Theory : list_2
Home
Index