Would you like help finding an existing archive link for MIUI Pro on nikel, or do you want to check which exact device model you have?
It seems you're asking about a custom ROM for the Redmi Note 4 (Snapdragon variant, codename: mido or nikel ?) . Miui Pro Redmi Note 4 Nikel