Stream: math-comp analysis

Topic: ✔ A global property is also asymptotic


view this post on Zulip Reynald Affeldt (Nov 11 2022 at 11:38):

maybe nearW in topology.v

view this post on Zulip Reynald Affeldt (Nov 11 2022 at 11:40):

https://github.com/math-comp/analysis/blob/22a7476d5abafe0d6177c540125ce8e5069a4a70/theories/topology.v#L975-L977

view this post on Zulip Julien Puydt (Nov 11 2022 at 11:48):

You're right, that's it!

Thanks!

view this post on Zulip Notification Bot (Nov 11 2022 at 11:48):

Julien Puydt has marked this topic as resolved.


Last updated: Feb 05 2023 at 13:02 UTC