Theorem Set.Countable.isConnected_compl_of_one_lt_rank

Modification history