The Pocophone F2 Pro is the Redmi K30 Pro
Redmi is a sub-brand of Xiaomi, and the K30 Pro seems to be the basis for the Pocophone F2 Pro. The information is quite official since it comes from a list in Google Play.
It is basically a rebrand for certain markets where the K30 Pro will not list you.
Poco is now an independent brand of Xiaomi, and company officials say that their future models will be more expensive than Poco F1 and will also receive some true wireless headphones.
It remains to be seen what will happen to the new Poco model, a highly anticipated phone.