Панды переименовать индекс с словарем
df.rename(index={'alpha': 'mu'})
Jealous Jay
df.rename(index={'alpha': 'mu'})