Been some rather good deals from City to other big clubs. Palmer obviously, but Zinchenko and Jesus did well for Arsenal, though not stepping up to that level you describe we need. Milner to Liverpool another one, perhaps not great/elite, but became a very important player for them. Lavia went to Southampton so not a big club, but fantastic player who imo would have been good enough for someone like us. Not to the PL, but Julian Alvarez too.
They sign so many quality players they're kind of forced to sell some really good players.
Also a difference between signing someone probably getting to their peak and a younger player like Savinho as you say.