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.