Theorem fderiv_sub'

Modification history