## 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