The "Input iterator requirements" table says this about ++r:

Postconditions: r is dereferenceable or r is past-the-end; any copies of the previous value of r are no longer required either to be dereferenceable or to be in the domain of ==.

This can be read as if there are two options: either copies of the value aren't required to be dereferenceable or they aren't required to be in the domain of ==. But I'm pretty sure the wording means both of those things (which is another way to read this sentence). Something like this would help:

any copies of the previous value of r are no longer required to be dereferenceable nor to be in the domain of ==.

This wording has also been copied into [fs.rec.dir.itr.members] by LWG3067; any fixes should be applied in both places.