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

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

Result R1937 on D610: Real multiplication operation

Monotonicity of finite unsigned real multiplication