P
Initializing...
Duplicate-free property of strictly sorted list · Prove2Me