Theorem mdifferentiableOn_of_locally_mdifferentiableOn

Modification history