Redmi 9 Power may launch in India on December 15 - GSMArena.com news