Add regular atlas theorem
Move from path-connected to chain-connected version