I want to apply group by over a dataframe and filter it throug the mean whose value is greater than any given number

Question

In SQL, we apply a filter over aggregated function like below

select col1,avg(col2) as avg_col2 from table group by col1 having avg_col2>100;

how can I apply the same logic in pandas over data frame?