Theorem differentiable_zero

Modification history