mathlib
d91e7f7a - feat(topology/{maps,separation}): add lemmas about closed and quotient maps (#19071)

Commit

2 years ago

feat(topology/{maps,separation}): add lemmas about closed and quotient maps (#19071) Lemma statements are from Shamrock-Frost/BrouwerFixedPoint Co-authored-by: @Shamrock-Frost

Author

urkud

Parents

45a46f4f

mathlib d91e7f7a - feat(topology/{maps,separation}): add lemmas about closed and quotient maps (#19071)

mathlib
d91e7f7a - feat(topology/{maps,separation}): add lemmas about closed and quotient maps (#19071)