connected): add two lemmas (#13345)

Commit

3 years ago

feat(algebra/group/basic|topology/connected): add two lemmas (#13345) * from the sphere eversion project

Author

fpvandoorn

Parents