In FY24, my employer didn’t pay a few months’ salary. I filed my ITR in July 2024 and paid TDS from my own pocket; it was processed in Aug 2024.
The company later deposited TDS in Dec 2024, including on the pending salary I hadn’t reported then, creating a mismatch. 
I received that salary in FY25 and reported it in the FY25 return.
How can I claim the excess TDS paid in FY24? Can this be done via Form 71?