Theorem Complex.hasStrictDerivAt_cos

Modification history