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

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

Result R1008 on D1101: Strictly ordered set of real numbers

Strictly ordered set of real numbers is trichotomic