Theorem Real.deriv_exp

Modification history