Theorem Set.ordConnectedComponent_empty

Modification history