Как удалить префикс из всех имен столбцов в кадре данных Polars? ⇐ Python

[Anonymous]

У меня есть фрейм данных Polars, например
import polars as pl

df = pl.from_repr("""
┌─────┬─────┬─────┬─────┐
│ #a ┆ #b ┆ #c ┆ #d │
│ --- ┆ --- ┆ --- ┆ --- │
│ i64 ┆ i64 ┆ i64 ┆ i64 │
╞═════╪═════╪═════╪═════╡
│ 1 ┆ 2 ┆ 3 ┆ 4 │
└─────┴─────┴─────┴─────┘
""")

Я хочу изменить метки столбцов с
['#a', '#b', '#c', '#d']
на ['a', 'b', 'c', 'd']
┌─────┬─────┬─────┬─────┐
│ a ┆ b ┆ c ┆ d │
│ --- ┆ --- ┆ --- ┆ --- │
│ i64 ┆ i64 ┆ i64 ┆ i64 │
╞═════╪═════╪═════╪═════╡
│ 1 ┆ 2 ┆ 3 ┆ 4 │
└─────┴─────┴─────┴─────┘


Подробнее здесь: https://stackoverflow.com/questions/795 ... -dataframe