Theorem hasFDerivWithinAt_pow

Modification history