Theorem Real.monotone_rpow_of_base_ge_one

Modification history