I sold a rental property in France in 2023. TurboTax calculated my federal capital gains as $86K after taking into account past depreciation, expenses, etc and has calculated the capital gains by a certain amount. For the same property, France has determined my capital gains is around $48K using their own taxation system and imposed their own capital gains tax of around $14K. So I went to form 1116 to claim credit for foreign tax paid and was able to get the the credit. However, it asked for the income that the French capital gains tax was imposed on. Should I have not reported the French income on the 1116 form as it might be redundant with what i reported elsewhere on the federal return?