Theorem Real.exp_one_pow

Modification history