Quick search by citation:

26 U.S. Code § 7486 - Refund, credit, or abatement of amounts dis­allowed

In cases where assessment or collection has not been stayed by the filing of a bond, then if the amount of the deficiency determined by the Tax Court is disallowed in whole or in part by the court of review, the amount so disallowed shall be credited or refunded to the taxpayer, without the making of claim therefor, or, if collection has not been made, shall be abated.

(Aug. 16, 1954, ch. 736, 68A Stat. 891.)