Theorem fderiv_comp'

Modification history