Theorem mdifferentiable_const

Modification history