exists ← ∨/,⍤=

⍝ Tests
input ← 4 4⍴⍳16
10 exists input ⍝ 1
20 exists input ⍝ 0