Theorem isOpen_connectedComponent

Modification history