cpp/experimental/ranges/iterator/InputIterator

The concept is a refinement of, adding the requirement that the referenced values can be read (via ) and the requirement that the iterator category tag be present.