Let be a field, let be a vector space over with zero vector , let be a natural number, let be the initial segment it determines, and let be the strict order on .
Let be an -tuple in and let be such that for every with . Then, with finite sums in ,
Loading…
No relations recorded yet.