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

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

Result R3615 on D4993: Subadditive function

Unsigned subconvex function on unsigned basic real numbers is subadditive