Theorem Set.ordConnectedComponent_univ

Modification history