[iterator.synopsis] Apply changes of P2538R1 to the synopsis of `<iterator>`#7841

Merged

jensmaurer merged 2 commits intocplusplus:mainfrom

frederick-vs-ja:remove-dead-incrementable_traits-projected

Apr 22, 2025

Commits on Apr 16, 2025

[iterator.synopsis] Remove dead `incrementable_traits<projected>`
frederick-vs-ja
authored

Commits on Apr 17, 2025

[iterator.synopsis] Update `projected` in the synopsis of `<iterator>`
frederick-vs-ja
authored