Deberíais poner en Google "Xiaomi user manuals" o términos de búsqueda similares, algo encontraréis (quizás no los manuales específicos del Redmi Note 4X, pero sí he visto algún manual genérico de los dispositivos Mi que os puede servir para familiarizaros con MIUI).
También os digo una cosa, si necesitáis un manual de instrucciones para desenvolveros con estos terminales me temo que habéis hecho mal comprándoos un Xiaomi
Saludos