list comprehension
https://docs.python.org/ko/3/tutorial/datastructures.html#list-comprehensions

for은 원래 반복문입니다
처음 배울 때는 저렇게보다는 다른 방식으로 많이 쓰실텐데

for 다음에 쓰는 문자(변수)에 특정한 값을 계속 주면서 값을 줄 게 다 떨어질 때까지 계속 주는 거예요

그리고 in은 python에만 있는 독특한 연산자인데
조건문에서 쓰면 어떤 배열 안에 어떤 값이 있는지 판별하는 연산자예요

반복문에서는 루프를 돌 때마다 i에 어떤 값을 줄 지 지정하는 역할을 한다고 보시면 돼요

첫 루프는 in 뒤의 배열에서 a[0]을 두번째 루프에서는 a[2]를 할당해주는 역할이예요

이걸 저렇게 배열을 정의할 때 구문 뒤쪽에 넣어서 쓰기도 하는데

그때도 작동 로직은 비슷해요 순서대로 값을 할당해서 앞의 조건식을 만족하는 값을 배열에 차근차근 할당하는 반복문 역할이예요