Theorem fderiv_sub

Modification history