From fdda04c395f10e9332315aa6dd9332688bed34f9 Mon Sep 17 00:00:00 2001
From: lprv <100177227+lprv@users.noreply.github.com>
Date: Thu, 13 Feb 2025 20:33:34 +0000
Subject: [PATCH] [mdspan.layout.{left,right}pad] Simplify definition of P_rank

---
 source/containers.tex | 22 ++--------------------
 1 file changed, 2 insertions(+), 20 deletions(-)

diff --git a/source/containers.tex b/source/containers.tex
index 8e85e17d4c..6c767b5edb 100644
--- a/source/containers.tex
+++ b/source/containers.tex
@@ -21764,16 +21764,7 @@
 
 \pnum
 Throughout \ref{mdspan.layout.leftpad},
-let \tcode{P_rank} be the following
-size \exposid{rank_} parameter pack of \tcode{size_}t values:
-\begin{itemize}
-\item
-the empty parameter pack, if \exposid{rank_} equals zero;
-\item
-\tcode otherwise, \tcode{0zu}, if \exposid{rank_} equals one;
-\item
-otherwise, the parameter pack \tcode{0zu}, \tcode{1zu}, \ldots, \tcode{\exposid{rank_}- 1}.
-\end{itemize}
+let \tcode{P_rank} be the pack \tcode{0, 1, $\dotsc$, (\exposid{rank_} - 1)}.
 
 \pnum
 \mandates
@@ -22389,16 +22380,7 @@
 
 \pnum
 Throughout \ref{mdspan.layout.rightpad},
-let \tcode{P_rank} be the following
-size \exposid{rank_} parameter pack of \tcode{size_}t values:
-\begin{itemize}
-\item
-the empty parameter pack, if \exposid{rank_} equals zero;
-\item
-\tcode otherwise, \tcode{0zu}, if \exposid{rank_} equals one;
-\item
-otherwise, the parameter pack \tcode{0zu}, \tcode{1zu}, \ldots, \tcode{\exposid{rank_}- 1}.
-\end{itemize}
+let \tcode{P_rank} be the pack \tcode{0, 1, $\dotsc$, (\exposid{rank_} - 1)}.
 
 \pnum
 \mandates