exist.pip 54 Bytes Raw Blame History Permalink 1 2 3 4 5 [n] -> { : n mod 2 = 0 } -1 [n] -> { [i] : n <= i }
