gives a list of transformation rules corresponding to all downvalues defined for the symbol f.

Details and OptionsDetails and Options

  • You can specify the downvalues for f by making an assignment of the form DownValues[f]=list.
  • The list returned by DownValues has elements of the form HoldPattern[lhs]:>rhs.
Introduced in 1991
| Updated in 1996