Theorem differentiableOn_singleton

Modification history