DownValues[f] gives a list of transformation rules corresponding to all downvalues defined for the symbol f.
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.
See Section 2.5.13.
See also: Set, UpValues.
New in Version 2; modified in 3.