Theorem Differentiable.inverse

Modification history