Proposed resolution:

In [alg.remove] p.6, replace the N2461 requires clause with:

Requires: Type T is EqualityComparable (31). The ranges [first,last) and [result,result + (last - first)) shall not overlap. The expression *result = *first shall be valid.