mathlib
3b267e70 - feat(topology/homeomorph): add `homeomorph.symm_symm` (#18551)

Commit

2 years ago

feat(topology/homeomorph): add `homeomorph.symm_symm` (#18551) I'm surprised we didn't have this lemma.

Author

urkud

Parents