Maintainer merge

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

Sign in to view logs

Triggered via pull request July 20, 2026 18:41

eric-wieser

submitted #36327

Status Skipped

Total duration 11s

Artifacts –

maintainer_merge.yml

on: pull_request_review

Ping maintainers on Zulip