Theorem HasStrictDerivAt.const_cpow

Modification history