@Reynald Affeldt, I read the minutes Concerning https://github.com/math-comp/analysis/pull/385 I only have to mention a small typo: might solved --> might solve
I would have corrected myself, but apparently I do not have editing rights on this page.
Thank you!
Last updated: Oct 13 2024 at 01:02 UTC