The last item of \mandates and
the first item of \expects
are subsumed by the "Effects: Equivalent to:" semantics.

However, the \expects ends with

\begin{note}
These conditions ensure that the mapping returned by \tcode{submdspan_mapping}
matches the algorithmically expected index-mapping given the slice specifiers.
\end{note}

So perhaps the redundancy for \expects is intended.
Although it can be rephrased to allude to subsumed preconditions.

I think the last item of \mandates can still be removed without problems.

Originally #6338 (comment).