Theorem HasStrictFDerivAt.const_mul

Modification history