Theorem differentiable_ofNat

Modification history