mathlib
32d8fc4e - feat(topology/homeomorph): add `homeomorph.set.univ` (#14730)

Commit

3 years ago

feat(topology/homeomorph): add `homeomorph.set.univ` (#14730)

Author

urkud

urkud

Parents

Loading