mathlib3

b99e2d58 - feat(combinatorics/simple_graph/connected): support of connected components (#18442)

feat(combinatorics/simple_graph/connected): support of connected components (#18442) Co-authored-by: Rémi Bottinelli <remi.bottinelli@bluewin.ch> Co-authored-by: ART <anand.rao.art@gmail.com> Co-authored-by: Anand Rao <18333981+0art0@users.noreply.github.com>