Theorem IsPathConnected.subset_pathComponent

Modification history