mathlib

84fc0a81 - Remove `connected_component.connected`