Theorem fderiv_continuousMultilinear_apply_const_apply

Modification history