У меня есть такой фрейм данных. Мне нужно выбрать и посчитать всех отдельных пользователей, у которых есть заголовок «banner_click» и «order». Вот я не понимаю как это сделать в пандах, в SQL делаешь типа UniqExactIf и идешь дальше, там мне нужно найти всех пользователей, у которых были оба этих заголовка.

Я попробовал «включить», но, похоже, это работает неправильно
main = df.query("title in ('banner_click','order')").agg({'user':'nunique'})

