mathlib3

feat(topology/uniform_space/cauchy): `cauchy_seq` index shift

#12261

Open