Theorem fderiv_inverse

Modification history