ThmDex – An index of mathematical definitions, results, and conjectures.

ThmDex – An index of mathematical definitions, results, and conjectures.

Result R2971 on D2010: Ordered vector space of real numbers

Ordered vector space of real numbers is ordered vector space