Preconditions for sliced and copied too strong

Hi,

in the documentation the preconditions of sliced and copied should state:

```
0 <= n && n <= m && m <= distance(rng)
^
```

currently it says
```
0 <= n && n <= m && m < distance(rng)
```