Theorem differentiable_const_sub_iff

Modification history