Theorem fderiv_inner_apply

Modification history