Theorem IsPreconnected.subset_connectedComponentIn

Modification history