Nuprl Definition : qv-dim
dimension(as) == ||as||
Definitions occuring in Statement :
length: ||as||
Definitions occuring in definition :
length: ||as||
FDL editor aliases :
qv-dim
Latex:
dimension(as) == ||as||
Date html generated:
2016_05_15-PM-11_19_52
Last ObjectModification:
2015_09_23-AM-08_28_34
Theory : rationals
Home
Index