Theorem fderiv_fun_sub

Modification history