The time format is used by default, based on the language setting or system language. If you want the time
format to be displayed regardless of the language, you can change it in the Xiaomi smartphone's settings, where you can manually select either 12-hour format or 24-hour format (AM/PM).

Android 10 (MIUI 12.0)
Step 1:  Open the  Settings
Step 2:  Tap on  Additional settings
Step 3:  Tap on  Date & time
Step 4:  Tap on  Time format
Step 5:  Choose  12-/24-hour  or  Auto (based on system language)
  1. Open the Settings
  2. Tap on Additional settings
  3. Tap on Date & time
  4. Tap on Time format
  5. Choose 12-/24-hour or Auto (based on system language)

Xiaomi Instructions