Zulip Chat Archive

Stream: Is there code for X?

Topic: Min-max theorem/Courant-Fischer

Adrian Wüthrich (Feb 22 2024 at 16:19):

Is the Min-max theorem https://en.wikipedia.org/wiki/Min-max_theorem already formalised?

Floris van Doorn (Feb 22 2024 at 16:22):

https://en.wikipedia.org/wiki/Min-max_theorem

Adrian Wüthrich (Feb 22 2024 at 16:26):

Thanks for fixing the link @Floris van Doorn, I edited my post now.

Last updated: May 02 2025 at 03:31 UTC