Theorem Real.exp_one_rpow

Modification history