DET 5 at MIA 0, 2023-07-29

Detroit Tigers at Miami Marlins, 2023-07-29, final 5-0: the score, both clubs' lines and each player's line where the data keeps them.