Skip to main content

DownValues

DownValues[f] gives a list of transformation rules corresponding to all downvalues (values for f[…]) defined for the symbol f. 

DownValues["symbol"] gives a list of transformation rules corresponding to all downvalues defined for the symbol named "symbol" if it exists.

Please visit the official Wolfram Language Reference for more details and examples on core symbols.