Theorem fderiv_pow

Modification history