Zulip Chat Archive
Stream: maths
Topic: quotient topology
Patrick Massot (Jul 16 2018 at 14:13):
Do we have a lemma about closure (quotient.mk '' s) somwhere?
Patrick Massot (Jul 16 2018 at 14:14):
More specifically I have a dense subset s and I want quotient '' s to be dense
Last updated: May 14 2021 at 18:28 UTC