Theorem Complex.hasStrictDerivAt_exp

Modification history