Theorem differentiable_finCons'

Modification history