Remove unused declaration; improve custom_derivatives docs.#1182

Merged

vgvassilev merged 1 commit intomasterfrom remove-unused-decl

Dec 21, 2024

+6-9

Commits on Dec 20, 2024

Remove unused declaration; improve custom_derivatives docs.
vgvassilev
committed