Python, 無限ループから抜け出せる理由(atcoder ABC 081 B - Shift only)

Question

前提・実現したいこと

atcoderの「 ABC 081 B - Shift only」を解いているが、web上にて公開されているコードで無限ループに陥らない理由がわからない。
（問題概要）

問題文

黒板に N 個の正の整数 A1 A2 ,,, Anが書かれています．

すぬけ君は，黒板に書かれている整数がすべて偶数であるとき，次の操作を行うことができます．

黒板に書かれている整数すべてを，
2
で割ったものに置き換える．
すぬけ君は最大で何回操作を行うことができるかを求めてください．

入力
入力は以下の形式で標準入力から与えられる。

N
A1 A2,,, AN

出力
すぬけ君は最大で何回操作を行うことができるかを出力せよ．

発生している問題・エラーメッセージ

↓のコードで、ループ中に例えばnums=[0,0]となったときにも、5行目のリストは[]となりfalseと判定され、breakが実行されず、nums=[0,0]のまま永遠にループから抜け出せないのでは？と思っていますが、実行したところ抜け出して答えを出すことに成功します。なぜ抜け出せるのでしょうか、、、

該当のソースコード

n = int(input())
nums = [int(i) for i in input().split()]
ans = 0
while True:
    if [i for i in nums if i % 2 == 1]:
        break
    nums = [i//2 for i in nums]
    ans += 1
print(ans)

試したこと

自分はnums内の要素に0が含まれたら確実にbreakするよう、以下のコードを考えておりました。（正常に動きます）

n = int(input())
nums = list(map(int, input().split()))
ans = 0
while True:
    if [i for i in nums if i ==0] or [i for i in nums if i %2 ==1 ]:
        break
    nums = [i //2 for i in nums] 
    ans += 1
print(ans)

補足情報（FW/ツールのバージョンなど）

jupyter notebookを使っています

Answer 1

制約条件を踏まえれば、nums = [0, 0] になることは有り得ないのでは。
nums = [1, 1] になったら除算が実行されるより前に脱出できますし。

Comments

[k_nog]

その通りですね、ありがとうございます、、、
自分で気づけず恥ずかしい限りですが、スッキリしました！

[LouiS0616]

若干脱線しますが [i for i in nums if i % 2 == 1] を条件として用いるのはやや分かりづらく、そして余計なリストを作る分だけ効率が悪い印象を受けます。
個人的には any(n % 2 == 1 for n in nums) が一番素直なように思います。タイプ数を減らしたいなら any(n % 2 for n in nums) でも良いですし。

[k_nog]

明らかにそのほうが簡潔ですね！
引き出しが多くて本当に参考になります、ありがとうございます