feat(Analysis/CStarAlgebra/Extreme): a C⋆-algebra is unital iff there exists an extreme point in the closed unit ball #256883
Triggered via pull request
July 20, 2026 18:41
eric-wieser
eric-wieser
submitted
#36327
Status
Success
Total duration
10s
Artifacts
–
bot_fix_style.yaml
on: pull_request_review
Fix style issues from lint
6s