Theorem Complex.hasStrictDerivAt_const_cpow

Modification history