[mdspan.sub.map.rightpad] Add $p$ for value p#8755

jensmaurer merged 1 commit intocplusplus:maincplusplus/draft:mainfrom

Andreas-Krug:patch-644272Andreas-Krug/draft:patch-644272Copy head branch name to clipboard