On Michigan State Tax - Tax Paid to Other State screen, where does the "Income Taxed by Both Jurisdictions" come from?

Resident of Michigan and Non-resident of Oklahoma.  The Tax Paid to Okahoma screen displays a number for "Income Taxed by Both Jurisdictions".  Where does this number come from?