Theorem hasFDerivAt_pow

Modification history