leanprover-community / mathlib

  • Home
  • Zulip archive
  • API documentation
  • Lean web editor
  • Links

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 02 2025 at 03:31 UTC

Theme Simple by wildflame © 2016 Powered by jekyll