open_in_new
content_copy
>>> df = pd.read_csv(..., index_col="BibNumber") >>> df.set_index("BibNumber", inplace=True)