Я хочу применить группирование по фрейму данных и отфильтровать его через среднее значение, значение которого больше любого заданного числа

Question

В SQL мы применяем фильтр к агрегированной функции, как показано ниже

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

как я могу применить ту же логику в пандах к фрейму данных?