Maintainer merge

[Merged by Bors] - feat(SetTheory/Cardinal): formulas for `sum (fun n : ℕ ↦ x ^ n)` #183064

Sign in to view logs

Triggered via pull request December 22, 2025 13:44

b-mehta

submitted #32645

Status Skipped

Total duration 1s

Artifacts –

maintainer_merge.yml

on: pull_request_review

Ping maintainers on Zulip

⚡