cpp/iterator/indirectly swappable

The concept specifies a relationship between two types respectively modelling std, where their referenced types can be swapped.

Semantic requirements
and model  only if all concepts it subsumes are modeled.