Theorem connectedComponent_eq_iff_mem

Modification history