Це генераторний вираз, нативний спосіб у Python робити map/filter.
Є стандартна ситуація: зі списку (чи взагалі чогось ітерабельного) треба зробити інший список, наприклад, із подвоєнням парних. Звичайний код виглядатиме так:

source = [1,2,3]
target = []
for s in source:
  if s%2==0:
    target.append(2*s)

Це можна скоротити до

source = [1,2,3]
target = [2*s for s in source if s%2==0]

Сенс зрозумілий, довжина скоротилася удвічі. Додатковий бонус - можна не перетворювати результат на список, тоді цикл виконається лише в той момент, коли буде потрібним:

source = randrange(100) for _ in range(1000000)
target = (2*s for s in source)
#ми можемо передати target в іншу функцію, цикл ще не буде викликано
second_target = (t for t in target if t%2==0)
print(len(list(second_target))) #і тільки тут буде виконано всі дії в один цикл