diff --git a/source/numerics.tex b/source/numerics.tex index 4376e274b3..4fcea20f12 100644 --- a/source/numerics.tex +++ b/source/numerics.tex @@ -18802,9 +18802,11 @@ \pnum \constraints -\tcode{\libconcept{integral}> || -\libconcept{integral}>} is \tcode{true}. +At least one of +\tcode{invoke_result_t} +and +\tcode{invoke_result_t} +satisfies \libconcept{integral}. \pnum \mandates