Theorem fderiv_add'

Modification history