Theorem Set.ordConnected_Icc

Modification history