COL 6 at MIA 1, 2023-07-21

Colorado Rockies at Miami Marlins, 2023-07-21, final 6-1: the score, both clubs' lines and each player's line where the data keeps them.