Theorem HasStrictFDerivAt.rpow_const

Modification history