Theorem fderiv_fun_const

Modification history