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

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

Result R1043 on D1102: Ordered set of real numbers

Equality from two inequalities for real numbers