Theorem fderiv_inv'

Modification history