Theorem Real.differentiable_exp

Modification history