Skip to content
Back to pull request #36327

feat(Analysis/CStarAlgebra/Extreme): a C⋆-algebra is unital iff there exists an extreme point in the closed unit ball #170005

Sign in to view logs

feat(Analysis/CStarAlgebra/Extreme): a C⋆-algebra is unital iff there exists an extreme point in the closed unit ball

feat(Analysis/CStarAlgebra/Extreme): a C⋆-algebra is unital iff there exists an extreme point in the closed unit ball #170005

post-or-update-summary-comment

post-or-update-summary-comment
succeeded Jul 21, 2026 in 1m 21s