From 8cbd49994835331e6668b5e6327eefaa66ad80a0 Mon Sep 17 00:00:00 2001
From: "A. Jiang" <de34@live.cn>
Date: Wed, 16 Apr 2025 09:58:42 +0800
Subject: [PATCH 1/2] [iterator.synopsis] Remove dead
 `incrementable_traits<projected>`

The `incrementable_traits<projected>` partial specialization was removed by P2538R1, so it should be removed from the synopsis.
---
 source/iterators.tex | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/source/iterators.tex b/source/iterators.tex
index 4cf779c363..a8a7f269ed 100644
--- a/source/iterators.tex
+++ b/source/iterators.tex
@@ -171,9 +171,6 @@
   template<@\libconcept{indirectly_readable}@ I, @\libconcept{indirectly_regular_unary_invocable}@<I> Proj>
     struct projected;                                                               // freestanding
 
-  template<@\libconcept{weakly_incrementable}@ I, class Proj>
-    struct incrementable_traits<projected<I, Proj>>;                                // freestanding
-
   template<@\libconcept{indirectly_readable}@ I, @\libconcept{indirectly_regular_unary_invocable}@<I> Proj>
   using projected_value_t =                                                         // freestanding
     remove_cvref_t<invoke_result_t<Proj&, iter_value_t<I>&>>;

From 87959f5d4eb98b8a969a2436fd46617ab03dfd83 Mon Sep 17 00:00:00 2001
From: "A. Jiang" <de34@live.cn>
Date: Thu, 17 Apr 2025 09:32:40 +0800
Subject: [PATCH 2/2] [iterator.synopsis] Update `projected` in the synopsis of
 `<iterator>`

---
 source/iterators.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/source/iterators.tex b/source/iterators.tex
index a8a7f269ed..d148a6489a 100644
--- a/source/iterators.tex
+++ b/source/iterators.tex
@@ -169,7 +169,7 @@
 
   // \ref{projected}, projected
   template<@\libconcept{indirectly_readable}@ I, @\libconcept{indirectly_regular_unary_invocable}@<I> Proj>
-    struct projected;                                                               // freestanding
+    using projected = @\seebelow@;                                                    // freestanding
 
   template<@\libconcept{indirectly_readable}@ I, @\libconcept{indirectly_regular_unary_invocable}@<I> Proj>
   using projected_value_t =                                                         // freestanding