Theorem hasStrictFDerivAt_pow'

Modification history