any(L,f)
i1 : any({1,2,3,4}, even) o1 = true
i2 : any({1,3,5,7}, even) o2 = false
i3 : any(20,n -> n == 15) o3 = true
We can test whether a permutation has a fixed point as follows.
i4 : fp = x -> any(#x, i -> x#i == i);
i5 : fp {2,3,4,0,1} o5 = false
i6 : fp {2,4,0,3,1} o6 = true