Fwiw, City's win at the weekend means there won't be a play-off to decide the Premier League title. A 1-1 draw would have seen that possibility remain, but City now have the best of the head to head record. Remains unlikely - but possible, that the teams could finish the season equal on points, GD and goals scored.
Also fwiw, as I didn't know this - if this happens anywhere in the table not affected by the title, European qualification or relegation, then the two teams are deemed tied and occupy the same official position in the league.