[Merged by Bors] - chore(Combinatorics/SimpleGraph): fix naming of colorable_iff_forall_connectedComponents#41648

Rida-Hamadani wants to merge 1 commit into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

Rida-Hamadani:connectedComponentsRida-Hamadani/mathlib4:connectedComponentsCopy head branch name to clipboard