Theorem measurable_fderiv_apply_const_with_param

Modification history