Quran 15:32 – Name Of Iblees / Shaitan
The verse is only referring to him by his commonly known name after the incident. Chronology is not relevant in this.