Yes.
Employer provided retirement account contributions are deducted from the W-2 Federal Income. You can find them in box 12.