Theorem HasStrictFDerivAt.const_rpow

Modification history