طی حکم رسمی دادگاه؛ باشگاه پیروزی رسما به پرسپولیس تغییر نام داد