[simd.permute.static] use satisfies for satisfaction

Fixes NB US 182-296 (C++26 CD).

Author: jwakely

source/numerics.tex

@@ -18803,9 +18803,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