Theorem isPathConnected_compl_singleton_of_one_lt_rank

Modification history