Theorem differentiableOn_const

Modification history