Current Data About
real vector space
other details
| aliases |
ℝ-vector space |
| description | vector space over the field of real numbers |
External Links
| (P2812) |
RealVectorSpace
|
| (P4215) |
real vector space
|