LWG3543 Definition of when counted_iterators refer to the same sequence isn't quite right

Author: jensmaurer

source/iterators.tex

@@ -5180,9 +5180,10 @@
 and
 \tcode{counted_iterator<I2>}
 refer to elements of the same sequence if and only if
-\tcode{next(i1.base(), i1.count())}
+there exists some integer $n$ such that
+\tcode{next(i1.base(), i1.count() + $n$)}
 and
-\tcode{next(i2.base(), i2.count())}
+\tcode{next(i2.base(), i2.count() + $n$)}
 refer to the same (possibly past-the-end) element.
 
 \indexlibraryglobal{counted_iterator}%