Theorem deriv_cexp

Modification history