Zulip Chat Archive
Stream: PR reviews
Topic: 8112 Krein-Milman
Yaël Dillies (May 29 2022 at 19:52):
And now the Krein-Milman theorem (+110, -1) is ready too!
Yaël Dillies (Jun 06 2022 at 11:29):
Any more thoughts on this?
cc @Heather Macbeth, @Sebastien Gouezel
Last updated: Dec 20 2023 at 11:08 UTC