local_equiv): add 2 lemmas (#15611)

Commit

3 years ago

feat(logic/equiv/local_equiv): add 2 lemmas (#15611) Motivated by a lemma in the sphere eversion project.

Author

urkud

Parents