mathlib3

08fd57f2 - chore(topology/connected): speed up sum.is_connected_iff (#16353)