Theorem fderiv_pow'

Modification history