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

Result R3604 on D2410: Standard real exponentiation function
Subresult of R3615: Unsigned subconvex function on unsigned basic real numbers is subadditive

Subadditivity of exponentiation function for exponents between zero and one