DownValues[y][[1, 1, 1, 1]] === HoldPattern[f]