De Rham derivative for functions: Difference between revisions