Theorem inv_mem_connectedComponent_one

Modification history