[range.join.with.iterator] Add missing \libconcept and \exposid (#5557)

Author: hewillk

source/ranges.tex

@@ -6264,7 +6264,7 @@
   class join_with_view<V, Pattern>::@\exposid{iterator}@ {
     using @\exposid{Parent}@ = @\exposid{maybe-const}@<Const, join_with_view>;                  // \expos
     using @\exposid{Base}@ = @\exposid{maybe-const}@<Const, V>;                                 // \expos
-    using @\exposid{InnerBase}@ = range_reference_t<Base>;                          // \expos
+    using @\exposid{InnerBase}@ = range_reference_t<@\exposid{Base}@>;                          // \expos
     using @\exposid{PatternBase}@ = @\exposid{maybe-const}@<Const, Pattern>;                    // \expos
 
     using @\exposid{OuterIter}@ = iterator_t<@\exposid{Base}@>;                                 // \expos
@@ -6487,9 +6487,9 @@
 
 \begin{itemdecl}
 constexpr @\exposid{iterator}@(@\exposid{iterator}@<!Const> i)
-    requires Const && convertible_to<iterator_t<V>, @\exposid{OuterIter}@> &&
-             convertible_to<iterator_t<@\exposid{InnerRng}@>, @\exposid{InnerIter}@> &&
-             convertible_to<iterator_t<Pattern>, @\exposid{PatternIter}@>;
+    requires Const && @\libconcept{convertible_to}@<iterator_t<V>, @\exposid{OuterIter}@> &&
+             @\libconcept{convertible_to}@<iterator_t<@\exposid{InnerRng}@>, @\exposid{InnerIter}@> &&
+             @\libconcept{convertible_to}@<iterator_t<Pattern>, @\exposid{PatternIter}@>;
 \end{itemdecl}
 
 \begin{itemdescr}