Theorem differentiable_intCast

Modification history