Theorem differentiable_finCons

Modification history