Nuprl Definition : qvn
ℚ^n == {v:ℚ List| dimension(v) = n ∈ ℤ}
Definitions occuring in Statement :
qv-dim: dimension(as),
rationals: ℚ,
list: T List,
set: {x:A| B[x]} ,
int: ℤ,
equal: s = t ∈ T
Definitions occuring in definition :
set: {x:A| B[x]} ,
list: T List,
rationals: ℚ,
equal: s = t ∈ T,
int: ℤ,
qv-dim: dimension(as)
FDL editor aliases :
qvn
Latex:
\mBbbQ{}\^{}n == \{v:\mBbbQ{} List| dimension(v) = n\}
Date html generated:
2016_05_15-PM-11_21_51
Last ObjectModification:
2015_09_23-AM-08_28_54
Theory : rationals
Home
Index