Theorem Real.exp_half

Modification history