crazy! wont be too long until this is here for major cities as well.
replies(1):
In the list of world cities by population, it ranks 403rd.
https://infocartography.com/world-top1000-pop
For Czechs or Central Europeans in general, it is a major city, but not in worldwide context.
I'd definitely say it's a major EU city. Maybe even a major The West city. I agree that it's hard to compare it to places in Asia, though.