Yes. Income is excluded, the foreign tax is adjusted to reflect this, and that adjusted amount is claimed as a tax credit.
All of these calculations were performed by TT and are reflected in the worksheet. As long as the worksheet is included with the electronic filing, there should be no confusion. Thus my question.
