6 kyu

Loading Kata: Verified unique elements (Theorem prover showdown #2)