Cross-reference gradef from description of diff.
commit467602fbf3b051756f12f33180cdbdfe325e04f0
authorRobert Dodier <robert_dodier@users.sourceforge.net>
Sun, 15 Jan 2023 17:43:42 +0000 (15 09:43 -0800)
committerRobert Dodier <robert_dodier@users.sourceforge.net>
Sun, 15 Jan 2023 17:43:42 +0000 (15 09:43 -0800)
tree1fc5171bd1ebf10bf1c7c8ebc1a8e53442d31402
parent317ef9087afda22d8d88a96dd8572d8389ff2b37
Cross-reference gradef from description of diff.
doc/info/Differentiation.texi