maybe nearW in topology.v

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

You're right, that's it!

Thanks!

Julien Puydt has marked this topic as resolved.

Last updated: Feb 05 2023 at 13:02 UTC