Theorem Differentiable.finCons

Modification history