Theorem connectedComponent_eq_singleton

Modification history