mathlib

3ad73951 - chore(topology/algebra/infinite_sum): reference Cauchy criterion in docs (#12172)