NB US 182-296 (C++26 CD): [simd.permute.static] use satisfies for satisfaction

Author: jwakely

source/numerics.tex

@@ -18802,9 +18802,11 @@
 
 \pnum
 \constraints
-\tcode{\libconcept{integral}<invoke_result_t<IdxMap\&, \exposid{simd-size-type}>> ||
-\libconcept{integral}<invoke_re\-sult_t<IdxMap\&, \exposid{simd-size-type},
-\exposid{simd-size-type}>>} is \tcode{true}.
+At least one of
+\tcode{invoke_result_t<IdxMap\&, \exposid{simd-size-type}>}
+and
+\tcode{invoke_result_t<IdxMap\&, \exposid{simd-size-type}, \exposid{simd-size-type}>}
+satisfies \libconcept{integral}.
 
 \pnum
 \mandates