It's all ok.
K20 pro and Mi9T pro is the same phone. If you flash MIUI Eu for example, your Mi9T device will turn into a K20 pro (bootscreen with Redmi Logo, name on specs/config and everything) and all will work normally. On this case, really, is just a name.