New details of Xiaomi’s folding mobile: it will have a triple camera