Theorem differentiableOn_const_sub_iff

Modification history