Stream: math-comp analysis

Topic: ✔ Comparable ereal


view this post on Zulip Julien Puydt (Dec 05 2022 at 08:36):

I realize I hadn't answered: yes, that's it! Thanks!

view this post on Zulip Notification Bot (Dec 05 2022 at 08:36):

Julien Puydt has marked this topic as resolved.


Last updated: Feb 05 2023 at 14:02 UTC