Theorem HasStrictDerivAt.cpow_const

Modification history