Theorem hasFDerivAt_pow'

Modification history