Skip to content
bot fix style

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

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Fix style issues from lint
6s
6s