[mdspan.sub.map.{left,right}] Fix typos: "layout_left" => "layout_right", "_rank" => "rank_"

This was a misapplication of P2642R6.

Also improves linebreaking for clarity.

Author: tkoeppe

source/containers.tex

@@ -25687,15 +25687,15 @@
 if \tcode{Extents::rank() == 0} is \tcode{true};
 \item
 otherwise,
-\tcode{submdspan_mapping_result\{layout_left::mapping(sub_ext), offset\}},
+\tcode{submdspan_mapping_result\{layout_left::mapping(sub_ext), offset\}},\newline
 if \tcode{SubEx\-tents::rank() == 0} is \tcode{true};
 \item
 otherwise,
 \tcode{submdspan_mapping_result\{layout_left::mapping(sub_ext), offset\}},
 if
   \begin{itemize}
   \item
-  for each $k$ in the range \range{0}{SubExtents::rank() - 1)},
+  for each $k$ in the range \range{0}{SubExtents::rank() - 1)},\newline
   \tcode{is_convertible_v<$S_k$, full_ext\-ent_t>} is \tcode{true}; and
   \item
   for $k$ equal to \tcode{SubExtents::rank() - 1},
@@ -25720,7 +25720,7 @@
 \item
 $S_0$ is a unit-stride slice for \tcode{mapping}; and
 \item
-for each $k$ in the range \range{$u$ + 1}{$u$ + SubExtents::rank() - 1},
+for each $k$ in the range \range{$u$ + 1}{$u$ + SubExtents::rank() - 1},\newline
 \tcode{is_convertible_v<$S_k$, full_extent_t>} is \tcode{true}; and
 \item
 for $k$ equal to \tcode{$u$ + SubExtents::rank() - 1},
@@ -25763,23 +25763,23 @@
 if \tcode{Extents::rank() == 0} is \tcode{true};
 \item
 otherwise,
-\tcode{submdspan_mapping_result\{layout_right::mapping(sub_ext), offset\}},
+\tcode{submdspan_mapping_result\{layout_right::mapping(sub_ext), offset\}},\newline
 if \tcode{Sub\-Extents::rank() == 0} is \tcode{true};
 \item
 otherwise,
-\tcode{submdspan_mapping_result\{layout_left::mapping(sub_ext), offset\}},
+\tcode{submdspan_mapping_result\{layout_right::mapping(sub_ext), offset\}},
 if
   \begin{itemize}
   \item
-  for each $k$ in the range \range{\exposid{rank_} - SubExtents::rank() + 1}{\exposid{rank_}},
+  for each $k$ in the range \range{\exposid{rank_} - SubExtents::rank() + 1}{\exposid{rank_}},\newline
   \tcode{is_convertible_v<$S_k$, full_extent_t>} is \tcode{true}; and
   \item
-  for $k$ equal to \exposid{_rank} - \tcode{SubExtents::rank()},
+  for $k$ equal to \exposid{rank_} - \tcode{SubExtents::rank()},
   $S_k$ is a unit-stride slice for \tcode{mapping};
   \end{itemize}
 \begin{note}
 If the above conditions are true,
-all $S_k$ with $k < \tcode{\exposid{_rank} - SubExtents::rank()}$
+all $S_k$ with $k < \tcode{\exposid{rank_} - SubExtents::rank()}$
 are convertible to \tcode{index_type}.
 \end{note}
 \item
@@ -25798,7 +25798,7 @@
 $S_k$ is a unit-stride slice for \tcode{mapping}; and
 \item
 for each $k$ in the range
-\range{\exposid{rank_} - SubExtents::rank() - $u$ + 1}{\exposid{rank_} - $u$ - 1},
+\range{\exposid{rank_} - SubExtents::rank() - $u$ + 1}{\exposid{rank_} - $u$ - 1},\newline
 \tcode{is_con\-vertible_v<$S_k$, full_extent_t>} is \tcode{true}; and
 \item
 for $k$ equal to \tcode{\exposid{rank_} - SubExtents::rank() - $u$},\newline