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 #52230

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 #52230

Verify Transient and Automated Commits

Verify Transient and Automated Commits
succeeded Jul 21, 2026 in 46s