# Commit 2023-05-25 22:47 d91e7f7a

View on Github →feat(topology/{maps,separation}): add lemmas about closed and quotient maps (#19071) Lemma statements are from Shamrock-Frost/BrouwerFixedPoint

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