Theorem HasStrictFDerivAt.sub_const

Modification history