Stream: math-comp analysis

Topic: ✔ A global property is also asymptotic

Reynald Affeldt (Nov 11 2022 at 11:38):

maybe nearW in topology.v

Reynald Affeldt (Nov 11 2022 at 11:40):

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

Julien Puydt (Nov 11 2022 at 11:48):

You're right, that's it!

Thanks!

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