Theorem deriv_inner_apply

Modification history