Inverse relations

[ .. ] → kbdef:hasDerivative → Beginselen der differentiaal- en integraal-rekening / door I.R. Schmidt