Nuprl Definition : q-linear-form
q-linear-form(n) == ℚ^n × ℚ
Definitions occuring in Statement :
qvn: ℚ^n,
rationals: ℚ,
product: x:A × B[x]
Definitions occuring in definition :
product: x:A × B[x],
qvn: ℚ^n,
rationals: ℚ
FDL editor aliases :
q-lf
Latex:
q-linear-form(n) == \mBbbQ{}\^{}n \mtimes{} \mBbbQ{}
Date html generated:
2016_05_15-PM-11_22_02
Last ObjectModification:
2015_09_23-AM-08_28_59
Theory : rationals
Home
Index