Skip to content

Generalize Krein-Milman lemma to separating duals#40

Open
kilianar wants to merge 2 commits into
ooovi:affine_spacefrom
kilianar:krein-milman-generalization
Open

Generalize Krein-Milman lemma to separating duals#40
kilianar wants to merge 2 commits into
ooovi:affine_spacefrom
kilianar:krein-milman-generalization

generalize Krein-Milman lemma to separating duals

a521213
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
build
succeeded May 6, 2026 in 4m 23s