Stream: math-comp analysis

Topic: ✔ Real numbers and realFieldType

view this post on Zulip Pablo (Feb 26 2024 at 22:09):

Thanks, but it seems that I have a package conflict going on with an old library i needed for the project, so I think I would try to work out a different solution. Thank you both for your time @Karl Palmskog and @Quentin VERMANDE

view this post on Zulip Notification Bot (Feb 26 2024 at 22:09):

Pablo has marked this topic as resolved.

Last updated: Jun 22 2024 at 15:01 UTC