blob: cb2122c1064f2ee6d37bc0b3e92d028ecc8be232 (
plain)
1
2
3
4
5
|
\begin{module}[id=differentiable]%
\importmodule[continuous]{continuous}%
\symdef{difffunctions}[2]{\mathcal{C}^1(#1,#2)}%
\abbrdef{DiffRR}[2]{\difffunctions\RealNumbers\RealNumbers}%
\end{module}%
|