Theorem Set.Countable.isPathConnected_compl_of_one_lt_rank

Modification history