krein_milman): The Krein-Milman theorem (#8112)

Commit

3 years ago

feat(analysis/convex/krein_milman): The Krein-Milman theorem (#8112) This PR proves the Krein-Milman lemma and the Krein-Milman theorem.

Author

YaelDillies

Parents