It seems to me the question is not who is mathematically eliminated but can anyone win 1237.
If neither Trump or Cruz does has the 1237 before the convention then both are “mathematically eliminated”
In a sane world, if every candidate but one is mathematically eliminated (which is likely to happen by the end of this month) then the one left standing is the winner.