Get definition of a function

Created at: 2025-09-01

\df+