import re


def remove_number_from_cols(df):
    """ Remove number ahead of column names, e.g. [[1]col1, [2]col2] --> [col1, col2] """
    df = df.rename(columns={col:re.sub("\[\d+\]", "", col) for col in df.columns})
    return df