Theorem HasFDerivWithinAt.fun_pow'

Modification history