Theorem fderiv_const_sub

Modification history