mathlib3

2840532e - doc(topology/uniform_space/cauchy): fix typo (#12453)