Theorem Set.subset_ordConnectedComponent

Modification history