Theorem HasStrictFDerivAt.continuousMultilinear_apply_const

Modification history