Pandas renomear Índice com dicionário

df.rename(index={'alpha': 'mu'})
Jealous Jay