Theorem Set.ordConnectedComponent_ord_connected_proj

Modification history