mathlib3
196c2a8a - feat(topology/separation): a cont. function with a cont. left inverse is a closed embedding (#6329)

Commit

4 years ago

feat(topology/separation): a cont. function with a cont. left inverse is a closed embedding (#6329)

Author

urkud

Parents