Complete documentation for `is_permutation`.