Will Cedric Mullins be traded before the 2025 MLB trade deadline?

This is a polymarket to predict whether the listed players will be traded by the 2025 MLB trade deadline, scheduled for July 31, 2025, at 6:00 PM ET. The market will resolve to "Yes" for a player if they are traded by their current MLB team to another MLB team before 6:00 PM ET on July 31, 2025. Otherwise, it will resolve to "No". Waiver claims, minor league assignments, free agent signings, or retirements do not count as trades. Only official trades involving a player’s rights being transferred from one MLB team to another will qualify. If a player is traded and the trade is voided before the deadline, the market will resolve to "No". If the trade is voided after the deadline, it will resolve to "Yes". The primary resolution source will be MLB.com and other official MLB transaction records. A consensus of credible reporting may also be used.