Replacin values of a pandas column

Question

I have the following dataframe:

col1
01
1
02
2
03
3
00
0

How can I replace values in col1 to be like the expected output below:

Expected Output:

col1
1
1
2
2
3
3
0
0

Answer 1

df['col1'] = df['col1'].map(int)

Answer 2

You can do it like this:

df['col1'] = df['col1'].astype('int')

Answer 3

Can you try this?

df['col1']=[int(x) for x in df['col1']]